Updating: very very minorly

srcgen2/DATS/xatsmtp_dcon00.dats

@@ -0,0 +1,93 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                         Applied Type System                         *)
+(*                                                                     *)
+(***********************************************************************)
+
+(*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2024 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
+** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
+** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*)
+
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(*
+Author: Hongwei Xi
+(*
+Mon Oct  7 09:52:03 PM EDT 2024
+*)
+Authoremail: gmhwxiATgmailDOTcom
+*)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+#include
+"./../HATS/xatsopt_sats.hats"
+#include
+"./../HATS/xatsopt_dats.hats"
+(* ****** ****** *)
+#define
+ATS_PACKNAME
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+(* ****** ****** *)
+#staload "./../SATS/dynexp2.sats"
+(* ****** ****** *)
+#staload "./../SATS/xatsmtp.sats"
+(* ****** ****** *)
+#symload name with d2con_get_name
+(* ****** ****** *)
+//
+#impltmp
+d2con_name$fun$emit
+  (out, dcon) =
+let
+val () = f0_decl(dcon)
+val () = f0_impl(dcon) end
+where
+{
+//
+#impltmp
+g_print$out<>() = out
+//
+fun
+f0_decl(dcon: d2con): void =
+let
+val name = dcon.name()
+in//let
+printsln
+("#extern\n","fun<>\n",name,"$name(): strn")
+end//let
+//
+fun
+f0_impl(dcon: d2con): void =
+let
+val name = dcon.name()
+in//let
+printsln
+("#impltmp\n",name,"$name<>() = ",'"',name,'"')
+end//let
+//
+}(*where*)//end-of-[d2con_name$fun$emit(...)]
+//
+(* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
+(* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
+
+(* end of [ATS3/XATSOPT_srcgen2_DATS_xatsmtp_dcon00.dats] *)

srcgen2/Makefile_xatsopt

@@ -892,6 +892,15 @@ xdepend_decl00_dats
 xdepend_decl00_dats: ; $(XATSOPT) --dynamic DATS/xdepend_decl00.dats
 ######
 
+######
+all_dats:: \
+xatsmtp_dats
+xatsmtp_dats: ; $(XATSOPT) --dynamic DATS/xatsmtp.dats
+all_dats:: \
+xatsmtp_dcon00_dats
+xatsmtp_dcon00_dats: ; $(XATSOPT) --dynamic DATS/xatsmtp_dcon00.dats
+######
+
 ######
 all_dats:: \
 xatsopt_dats

srcgen2/SATS/xatsmtp.sats

@@ -52,6 +52,19 @@ ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
 (* ****** ****** *)
+#staload "./../SATS/dynexp2.sats"
+(* ****** ****** *)
+(* ****** ****** *)
+//
+fun//<>
+d2con_name$fun$emit
+(out: FILR, dcon: d2con): void
+fun//<>
+d2con_ctag$fun$emit
+(out: FILR, dcon: d2con): void
+//
+(* ****** ****** *)
+(* ****** ****** *)
 //
 (* ****************************************** *)
 (* ****************************************** *)