From 67ed2befde83bbf6298dbccb2f8315412cf9ee3e Mon Sep 17 00:00:00 2001
From: Hongwei <gmhwxi@gmail.com>
Date: Mon, 7 Oct 2024 22:56:27 -0400
Subject: [PATCH] Updating: very very minorly

---
 srcgen2/DATS/xatsmtp_dcon00.dats | 39 ++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/srcgen2/DATS/xatsmtp_dcon00.dats b/srcgen2/DATS/xatsmtp_dcon00.dats
index 79ee914b1..0355fd22b 100644
--- 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(...)]
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)