Updating: very very minorly

githwxi · Jan 19, 2025 · f6c3fef · f6c3fef
1 parent 4e138af
commit f6c3fef
Show file tree

Hide file tree

Showing 5 changed files with 55 additions and 15 deletions.
diff --git a/contrib/githwxi/BOOTJS1/Makefile_xjsemit b/contrib/githwxi/BOOTJS1/Makefile_xjsemit
@@ -10,6 +10,40 @@ NODE=node
 SRCGEN2=./../../../srcgen2
 XATS2JS=./../../../srcgen2/xats2js
 ########################################################################
+########################################################################
+all_sats:: \
+xbasics_sats
+xbasics_sats: \
+$(SRCGEN2)/SATS/xbasics.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+all_sats:: \
+xsynoug_sats
+xsynoug_sats: \
+$(SRCGEN2)/SATS/xsynoug.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+all_sats:: \
+xerrory_sats
+xerrory_sats: \
+$(SRCGEN2)/SATS/xerrory.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+all_sats:: \
+xstamp0_sats
+xstamp0_sats: \
+$(SRCGEN2)/SATS/xstamp0.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+all_sats:: \
+xsymbol_sats
+xsymbol_sats: \
+$(SRCGEN2)/SATS/xsymbol.sats; \
+$(NODE) --stack-size=4096 $(XATSOPT_TCHECK00) $<
+########################################################################
+########################################################################
+all_dats:: \
+xbasics_dats
 xbasics_dats: \
 $(SRCGEN2)/DATS/xbasics.dats; \
 $(NODE) --stack-size=4096 $(XATS2JS_JSEMIT00) $< >> $@_out.js
@@ -20,6 +54,8 @@ cleanall:: ; rm -f *~
 cleanall:: ; rm -f xbasics_dats_out.js
 ########################################################################
 SRCGEN2_XSHARED=$(SRCGEN2)/xats2js/srcgenx/xshared/runtime
+########################################################################
+XATSOPT_TCHECK00=$(SRCGEN2)/UTIL/xatsopt_tcheck00_dats.js
 XATS2JS_JSEMIT00=$(XATS2JS)/srcgen1/UTIL/xats2js_jsemit00_dats.js
 ########################################################################
 ########################################################################
diff --git a/srcgen1/xinterp/srcgen1/TEST/prelude/chars.dats b/srcgen1/xinterp/srcgen1/TEST/prelude/chars.dats
@@ -130,7 +130,7 @@ val xyz =
 let
 val x = code('x')
 in
-strn_tabulate_f1un
+strn_tabulate$f1un
 (3, lam(i) => char(x+i))
 end // end of [val]
 val () =

diff --git a/srcgen2/DATS/xbasics.dats b/srcgen2/DATS/xbasics.dats
@@ -37,12 +37,16 @@ Authoremail: gmhwxiATgmailDOTcom
 (* ****** ****** *)
 (* ****** ****** *)
 #include
+"./../HATS/xatsopt_sats.hats"
+#include
 "./../HATS/xatsopt_dats.hats"
 (* ****** ****** *)
+(* ****** ****** *)
 #define
 ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
+(* ****** ****** *)
 #staload "./../SATS/xbasics.sats"
 (* ****** ****** *)
 (* ****** ****** *)

diff --git a/srcgen2/HATS/xatsopt_dats.hats b/srcgen2/HATS/xatsopt_dats.hats
@@ -7,8 +7,7 @@ For ATS3/XATSOPT
 (* ****** ****** *)
 (* ****** ****** *)
 #include
-"\
-srcgen1\
+"srcgen1\
 /prelude\
 /HATS/prelude_dats.hats"
 (* ****** ****** *)
@@ -17,8 +16,7 @@ srcgen1\
 // #ifdef(_XATSOPT_JS_)
 //
 #include
-"\
-srcgen1\
+"srcgen1\
 /prelude\
 /HATS/CATS/JS/prelude_dats.hats"
 //
@@ -27,22 +25,18 @@ srcgen1\
 (* ****** ****** *)
 (* ****** ****** *)
 #staload _ =
-"\
-srcgen1\
+"srcgen1\
 /xatslib/libcats/DATS/synoug0.dats"
 (* ****** ****** *)
 (* ****** ****** *)
 #staload _ =
-"\
-srcgen1\
+"srcgen1\
 /xatslib/githwxi/DATS/genv000.dats"
 #staload _ =
-"\
-srcgen1\
+"srcgen1\
 /xatslib/githwxi/DATS/f00path.dats"
 #staload _ =
-"\
-srcgen1\
+"srcgen1\
 /xatslib/githwxi/DATS/g00iout.dats"
 (* ****** ****** *)
 (* ****** ****** *)
@@ -54,8 +48,7 @@ srcgen1\
 // #ifdef(_XATSOPT_JS_)
 //
 #staload
-"\
-srcgen1\
+"srcgen1\
 /xatslib/githwxi/DATS/CATS/JS/NODE/basics0.dats"
 //
 // #endif // end of [ifdef(_XATSOPT_JS_)]

diff --git a/srcgen2/HATS/xatsopt_sats.hats b/srcgen2/HATS/xatsopt_sats.hats
@@ -9,6 +9,13 @@ For ATS3/XATSOPT
 //
 #staload
 "srcgen1\
+/prelude/SATS/gint000.sats"
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+#staload
+"srcgen1\
 /xatslib/libcats/SATS/libcats.sats"
 //
 (* ****** ****** *)