Updating: very very minorly

githwxi · Jul 29, 2023 · 2c48404 · 2c48404
1 parent 9eb8f95
commit 2c48404
Showing 1 changed file with 25 additions and 3 deletions.
diff --git a/srcgen2/DATS/tread33_staexp.dats b/srcgen2/DATS/tread33_staexp.dats
@@ -58,13 +58,35 @@ ATS_PACKNAME
 (* ****** ****** *)
 //
 (* ****** ****** *)
-#symload node with s2exp_get_node
-#symload sort with s2exp_get_sort
-(* ****** ****** *)
 #symload node with s2typ_get_node
 #symload sort with s2typ_get_sort
 (* ****** ****** *)
 //
 (* ****** ****** *)
+//
+#implfun
+tread33_s2typ
+( t2p0, err ) =
+(
+case+
+t2p0.node() of
+//
+| _(* otherwise *) =>
+(
+  s2typ_none1(t2p0)) where
+{
+  val () = ( err := err + 1 )
+} // end of [ _(*    otherwise    *) ]
+) where // end-of-[(*case+(t2p0)-of*)]
+{
+//
+// (*
+val (  ) =
+prerrln("tread33_s2typ: t2p0 = ", t2p0)
+// *)
+//
+} (*where*)//end[ tread33_s2typ(t2p0,err) ]
+//
+(* ****** ****** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_tread33_staexp.dats] *)