Updating: very very minorly

githwxi · Oct 27, 2023 · 6170126 · 6170126
1 parent 927a4b2
commit 6170126
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 3 deletions.
diff --git a/srcgen2/DATS/dynexp3_print0.dats b/srcgen2/DATS/dynexp3_print0.dats
@@ -654,9 +654,11 @@ in//let
 case+
 timp.node() of
 //
+(*
 |TIMPLone1
-(dcl1, svts) =>
-print("TIMPLone1(",dcl1,";",svts,")")
+(  dcl1  ) =>
+print("TIMPLone1(", dcl1 ,")")
+*)
 //
 |TIMPLall1
 (d2c1, dcls) =>

diff --git a/srcgen2/SATS/dynexp3.sats b/srcgen2/SATS/dynexp3.sats
@@ -755,11 +755,19 @@ D3Cerrck of (sint(*lvl*), d3ecl)//tread23-error
 //
 (* ****** ****** *)
 //
+(*
+HX-2023-10-27:
+[TIMPLone1]
+is planned for
+recursive impltmp!
+*)
 and
 timpl_node =
 //
+(*
 |TIMPLone1 of
-(d3ecl(*impl*), s2vts)
+(d3ecl(*tmpsub*))
+*)
 //
 |TIMPLall1 of
 (d2cst(*dcst*), d3eclist)