Updating: very very minorly

githwxi · Feb 4, 2025 · 7526d63 · 7526d63
1 parent 138699c
commit 7526d63
Show file tree

Hide file tree

Showing 2 changed files with 114 additions and 4 deletions.
diff --git a/contrib/githwxi/BOOTJS1/Makefile_xjsemit b/contrib/githwxi/BOOTJS1/Makefile_xjsemit
@@ -220,6 +220,24 @@ trans3a_sats: \
 $(SRCGEN2)/SATS/trans3a.sats; \
 $(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
 ########################################################################
+boot_sats:: \
+trtmp3b_sats
+trtmp3b_sats: \
+$(SRCGEN2)/SATS/trtmp3b.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+boot_sats:: \
+trtmp3c_sats
+trtmp3c_sats: \
+$(SRCGEN2)/SATS/trtmp3c.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+boot_sats:: \
+tread30_sats
+tread30_sats: \
+$(SRCGEN2)/SATS/tread30.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
 ########################################################################
 boot_dats:: \
 xbasics_dats
@@ -896,6 +914,79 @@ trans3a_decl00_dats: \
 $(SRCGEN2)/DATS/trans3a_decl00.dats; \
 $(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
 ########################################################################
+boot_dats:: \
+trtmp3b_dats
+trtmp3b_dats: \
+$(SRCGEN2)/DATS/trtmp3b.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+trtmp3b_myenv0_dats
+trtmp3b_myenv0_dats: \
+$(SRCGEN2)/DATS/trtmp3b_myenv0.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+trtmp3b_utils0_dats
+trtmp3b_utils0_dats: \
+$(SRCGEN2)/DATS/trtmp3b_utils0.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+trtmp3b_dynexp_dats
+trtmp3b_dynexp_dats: \
+$(SRCGEN2)/DATS/trtmp3b_dynexp.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+trtmp3b_decl00_dats
+trtmp3b_decl00_dats: \
+$(SRCGEN2)/DATS/trtmp3b_decl00.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+########################################################################
+boot_dats:: \
+trtmp3c_dats
+trtmp3c_dats: \
+$(SRCGEN2)/DATS/trtmp3c.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+trtmp3c_myenv0_dats
+trtmp3c_myenv0_dats: \
+$(SRCGEN2)/DATS/trtmp3c_myenv0.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+trtmp3c_utils0_dats
+trtmp3c_utils0_dats: \
+$(SRCGEN2)/DATS/trtmp3c_utils0.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+trtmp3c_dynexp_dats
+trtmp3c_dynexp_dats: \
+$(SRCGEN2)/DATS/trtmp3c_dynexp.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+trtmp3c_decl00_dats
+trtmp3c_decl00_dats: \
+$(SRCGEN2)/DATS/trtmp3c_decl00.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+########################################################################
+boot_dats:: \
+tread30_dats
+tread30_dats: \
+$(SRCGEN2)/DATS/tread30.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+tread30_staexp_dats
+tread30_staexp_dats: \
+$(SRCGEN2)/DATS/tread30_staexp.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+tread30_dynexp_dats
+tread30_dynexp_dats: \
+$(SRCGEN2)/DATS/tread30_dynexp.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+boot_dats:: \
+tread30_decl00_dats
+tread30_decl00_dats: \
+$(SRCGEN2)/DATS/tread30_decl00.dats; \
+$(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< > BUILD/$@_out.js
+########################################################################
 ########################################################################
 clean:: ; rm -f *~
 cleanall:: ; rm -f *~
@@ -1061,6 +1152,23 @@ cleanall:: ; rm -f BUILD/trans3a_staexp_dats_out.js
 cleanall:: ; rm -f BUILD/trans3a_dynexp_dats_out.js
 cleanall:: ; rm -f BUILD/trans3a_decl00_dats_out.js
 ########################################################################
+cleanall:: ; rm -f BUILD/trtmp3b_dats_out.js
+cleanall:: ; rm -f BUILD/trtmp3b_myenv0_dats_out.js
+cleanall:: ; rm -f BUILD/trtmp3b_utils0_dats_out.js
+cleanall:: ; rm -f BUILD/trtmp3b_dynexp_dats_out.js
+cleanall:: ; rm -f BUILD/trtmp3b_decl00_dats_out.js
+########################################################################
+cleanall:: ; rm -f BUILD/trtmp3c_dats_out.js
+cleanall:: ; rm -f BUILD/trtmp3c_myenv0_dats_out.js
+cleanall:: ; rm -f BUILD/trtmp3c_utils0_dats_out.js
+cleanall:: ; rm -f BUILD/trtmp3c_dynexp_dats_out.js
+cleanall:: ; rm -f BUILD/trtmp3c_decl00_dats_out.js
+########################################################################
+cleanall:: ; rm -f BUILD/tread30_dats_out.js
+cleanall:: ; rm -f BUILD/tread30_staexp_dats_out.js
+cleanall:: ; rm -f BUILD/tread30_dynexp_dats_out.js
+cleanall:: ; rm -f BUILD/tread30_decl00_dats_out.js
+########################################################################
 ########################################################################
 SRCGEN2_XSHARED=$(SRCGEN2)/xats2js/srcgenx/xshared/runtime
 ########################################################################

diff --git a/srcgen2/DATS/trtmp3c_myenv0.dats b/srcgen2/DATS/trtmp3c_myenv0.dats
@@ -301,15 +301,15 @@ val () = prerrsln
 }
 //
 | !
-tmqstk_svts =>
+tmqstk_svts _ =>
 ( err := 1;
   pshloc2(kxs, kys, err)) where
 {
 val () = prerrsln
 ("tmqstk_locjoin: poploc1: tmqstk_svts")
 }
 | !
-tmqstk_timp =>
+tmqstk_timp _ =>
 ( err := 1;
   pshloc2(kxs, kys, err)) where
 {
@@ -961,8 +961,10 @@ val+
 //
 in//let
 //
-(
-  tmqstk_locjoin(tmqstk); $fold(env0))
+let
+ val err =
+ tmqstk_locjoin(tmqstk) in $fold(env0)
+end//let
 //
 end(*let*)//end-of-(tr3cenv_locjoin(env0))
 //