Updating: very very minorly

githwxi · Oct 8, 2024 · 67ed2be · 67ed2be
1 parent ad5d123
commit 67ed2be
Showing 1 changed file with 39 additions and 0 deletions.
diff --git a/srcgen2/DATS/xatsmtp_dcon00.dats b/srcgen2/DATS/xatsmtp_dcon00.dats
@@ -53,6 +53,7 @@ ATS_PACKNAME
 #staload "./../SATS/xatsmtp.sats"
 (* ****** ****** *)
 #symload name with d2con_get_name
+#symload ctag with d2con_get_ctag
 (* ****** ****** *)
 //
 #impltmp
@@ -87,6 +88,44 @@ end//let
 //
 }(*where*)//end-of-[d2con_name$fun$emit(...)]
 //
+(* ****** ****** *)
+(* ****** ****** *)
+//
+#impltmp
+d2con_ctag$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 ctag = dcon.ctag()
+in//let
+printsln
+("#extern\n","fun<>\n",ctag,"$ctag(): sint")
+end//let
+//
+fun
+f0_impl(dcon: d2con): void =
+let
+val ctag = dcon.ctag()
+in//let
+printsln
+("#impltmp\n",ctag,"$ctag<>() = ",'"',ctag,'"')
+end//let
+//
+}(*where*)//end-of-[d2con_ctag$fun$emit(...)]
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)