diff --git a/prelude/TEST/CATS/JS/Makefile_jsemit b/prelude/TEST/CATS/JS/Makefile_jsemit index 3efc27e15..cb8586dc1 100644 --- 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 index 062585c67..a91516c43 100644 --- 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 index fdec75e8e..f05d90bd8 100644 --- 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 index 938daae4b..a9ef9aa4e 100644 --- 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()) +// +(* ****** ****** *) +(* ****** ****** *) +// (* ****** ****** *)(* ****** ****** *)(* ****** ****** *) (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)