Updating: very very minorly

githwxi · Sep 5, 2024 · 5884287 · 5884287
1 parent 7d261a6
commit 5884287
Show file tree

Hide file tree

Showing 4 changed files with 27 additions and 6 deletions.
diff --git a/prelude/TEST/CATS/JS/Makefile_jsemit b/prelude/TEST/CATS/JS/Makefile_jsemit
@@ -49,6 +49,7 @@ test00:: ; \
 npx google-closure-compiler -W QUIET \
   --compilation_level ADVANCED --js=$@_out.js --js_output_file=$@_out2.js
 ########################################################################
+########################################################################
 test01:: ; \
 echo "//" `date` > $@_out.js
 ############
@@ -57,12 +58,14 @@ $(CAT) $(SRCGEN2_XSHARED)/xats2js_js1emit.js >> $@_out.js
 test01:: ; \
 $(CAT) $(SRCGEN2_XSHARED)/xats2js_prelude.js >> $@_out.js
 ############
-test01:: ; \
-$(CAT) $(XATSHOME)/prelude/DATS/CATS/JS/NODE/node000.cats >> $@_out.js
-############
 test01:: \
 test01_a0rf000.dats; \
 $(NODE) --stack-size=4096 $(SRCGEN2_XATS2JS) $< >> $@_out.js
+############
+test01:: ; \
+npx google-closure-compiler -W QUIET \
+  --compilation_level ADVANCED --js=$@_out.js --js_output_file=$@_out2.js
+########################################################################
 ########################################################################
 test02:: ; \
 echo "//" `date` > $@_out.js
@@ -72,12 +75,14 @@ $(CAT) $(SRCGEN2_XSHARED)/xats2js_js1emit.js >> $@_out.js
 test02:: ; \
 $(CAT) $(SRCGEN2_XSHARED)/xats2js_prelude.js >> $@_out.js
 ############
-test02:: ; \
-$(CAT) $(XATSHOME)/prelude/DATS/CATS/JS/NODE/node000.cats >> $@_out.js
-############
 test02:: \
 test02_a1rf000.dats; \
 $(NODE) --stack-size=4096 $(SRCGEN2_XATS2JS) $< >> $@_out.js
+############
+test02:: ; \
+npx google-closure-compiler -W QUIET \
+  --compilation_level ADVANCED --js=$@_out.js --js_output_file=$@_out2.js
+########################################################################
 ########################################################################
 test03:: ; \
 echo "//" `date` > $@_out.js

diff --git a/prelude/TEST/CATS/JS/test00_prelude.dats b/prelude/TEST/CATS/JS/test00_prelude.dats
@@ -31,7 +31,9 @@ prints
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
 val () = the_print_store_log( (*void*) )
+//
 (* ****** ****** *)
 (* ****** ****** *)
 //

diff --git a/prelude/TEST/CATS/JS/test01_a0rf000.dats b/prelude/TEST/CATS/JS/test01_a0rf000.dats
@@ -17,9 +17,11 @@ For testing prelude/JS!
 "srcgen2\
 /prelude/HATS/prelude_JS_dats.hats"
 (* ****** ****** *)
+(*
 #include
 "srcgen2\
 /prelude/HATS/prelude_NODE_dats.hats"
+*)
 (* ****** ****** *)
 (* ****** ****** *)
 //
@@ -45,6 +47,11 @@ prints("A0(", type(A0), ") = ", A0, "\n")
 (* ****** ****** *)
 (* ****** ****** *)
 //
+val () = console_log(the_print_store_flush())
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
 

diff --git a/prelude/TEST/CATS/JS/test02_a1rf000.dats b/prelude/TEST/CATS/JS/test02_a1rf000.dats
@@ -17,9 +17,11 @@ For testing prelude/JS!
 "srcgen2\
 /prelude/HATS/prelude_JS_dats.hats"
 (* ****** ****** *)
+(*
 #include
 "srcgen2\
 /prelude/HATS/prelude_NODE_dats.hats"
+*)
 (* ****** ****** *)
 (* ****** ****** *)
 //
@@ -72,6 +74,11 @@ prints("fact(10) = ", fact(10), "\n")
 (* ****** ****** *)
 (* ****** ****** *)
 //
+val () = console_log(the_print_store_flush())
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)