Updating: very very minorly

githwxi · Feb 2, 2025 · 04c90ef · 04c90ef
1 parent 81c237d
commit 04c90ef
Show file tree

Hide file tree

Showing 3 changed files with 73 additions and 2 deletions.
diff --git a/contrib/githwxi/BOOTJS1/Makefile_xjsemit b/contrib/githwxi/BOOTJS1/Makefile_xjsemit
@@ -142,6 +142,11 @@ staexp2_sats
 staexp2_sats: \
 $(SRCGEN2)/SATS/staexp2.sats; \
 $(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+boot_sats:: \
+statyp2_sats
+statyp2_sats: \
+$(SRCGEN2)/SATS/statyp2.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
 ########################################################################
 boot_sats:: \
 dynexp2_sats
@@ -518,10 +523,55 @@ staexp2_dats: \
 $(SRCGEN2)/DATS/staexp2.dats; \
 $(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
 boot_dats:: \
+statyp2_dats
+statyp2_dats: \
+$(SRCGEN2)/DATS/statyp2.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
 staexp2_print0_dats
 staexp2_print0_dats: \
 $(SRCGEN2)/DATS/staexp2_print0.dats; \
 $(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+statyp2_print0_dats
+statyp2_print0_dats: \
+$(SRCGEN2)/DATS/statyp2_print0.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+staexp2_inits0_dats
+staexp2_inits0_dats: \
+$(SRCGEN2)/DATS/staexp2_inits0.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+statyp2_inits0_dats
+statyp2_inits0_dats: \
+$(SRCGEN2)/DATS/statyp2_inits0.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+staexp2_utils1_dats
+staexp2_utils1_dats: \
+$(SRCGEN2)/DATS/staexp2_utils1.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+staexp2_utils2_dats
+staexp2_utils2_dats: \
+$(SRCGEN2)/DATS/staexp2_utils2.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+statyp2_utils1_dats
+statyp2_utils1_dats: \
+$(SRCGEN2)/DATS/statyp2_utils1.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+statyp2_utils2_dats
+statyp2_utils2_dats: \
+$(SRCGEN2)/DATS/statyp2_utils2.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+statyp2_tmplib_dats
+statyp2_tmplib_dats: \
+$(SRCGEN2)/DATS/statyp2_tmplib.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
 ########################################################################
 boot_dats:: \
 dynexp2_dats
@@ -606,7 +656,16 @@ cleanall:: ; rm -f BUILD/tread01_dynexp_dats_out.js
 cleanall:: ; rm -f BUILD/tread01_decl00_dats_out.js
 cleanall:: ; rm -f BUILD/tread01_errmsg_dats_out.js
 cleanall:: ; rm -f BUILD/staexp2_dats_out.js
+cleanall:: ; rm -f BUILD/statyp2_dats_out.js
 cleanall:: ; rm -f BUILD/staexp2_print0_dats_out.js
+cleanall:: ; rm -f BUILD/statyp2_print0_dats_out.js
+cleanall:: ; rm -f BUILD/staexp2_inits0_dats_out.js
+cleanall:: ; rm -f BUILD/statyp2_inits0_dats_out.js
+cleanall:: ; rm -f BUILD/staexp2_utils1_dats_out.js
+cleanall:: ; rm -f BUILD/statyp2_utils1_dats_out.js
+cleanall:: ; rm -f BUILD/staexp2_utils2_dats_out.js
+cleanall:: ; rm -f BUILD/statyp2_utils2_dats_out.js
+cleanall:: ; rm -f BUILD/statyp2_tmplib_dats_out.js
 cleanall:: ; rm -f BUILD/dynexp2_dats_out.js
 cleanall:: ; rm -f BUILD/dynexp2_print0_dats_out.js
 ########################################################################

diff --git a/srcgen2/DATS/statyp2_tmplib.dats b/srcgen2/DATS/statyp2_tmplib.dats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -36,29 +37,35 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
 #staload UN =
 "srcgen1\
 /prelude/SATS/unsafex.sats"
 (* ****** ****** *)
+(* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
 #include
 "./../HATS/xatsopt_dats.hats"
 (* ****** ****** *)
+(* ****** ****** *)
 #define
 ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
+(* ****** ****** *)
 #staload "./../SATS/xbasics.sats"
 (* ****** ****** *)
 #staload "./../SATS/xlabel0.sats"
 #staload "./../SATS/xsymbol.sats"
 (* ****** ****** *)
 #staload "./../SATS/locinfo.sats"
 (* ****** ****** *)
+(* ****** ****** *)
 #staload "./../SATS/staexp2.sats"
 #staload "./../SATS/statyp2.sats"
 (* ****** ****** *)
+(* ****** ****** *)
 
 #implfun
 < e1nv >

diff --git a/srcgen2/DATS/trans12_decl00.dats b/srcgen2/DATS/trans12_decl00.dats
@@ -2882,17 +2882,22 @@ f1_dqid
 , dqid: d1qid): dimpl =
 (
 if
+(*
+HX-2025-02-02:
+Too restrictive:
 list_singq(d2cs)
+*)
+list_consq(d2cs)
 then
 let
 val
 d2c1 = d2cs.head()
 in
 dimpl
-(loc0,DIMPLone1(d2c1))
+(loc0, DIMPLone1(d2c1))
 end
 else
-dimpl
+dimpl // d2cs = list_nil()
 (loc0, DIMPLall1(dqid, d2cs))
 ) where
 {