From 29524ca0bd7bf2a00f5381042069e2361d2f388a Mon Sep 17 00:00:00 2001 From: Hongwei Date: Wed, 4 Sep 2024 05:31:38 -0400 Subject: [PATCH] Updating: very very minorly --- xatslib/DATS/CATS/JS/TEST/Makefile_testall | 29 ------- xatslib/DATS/CATS/JS/TEST/test00_xatslib.dats | 18 ---- xatslib/DATS/CATS/JS/TEST/test01_jsarray.dats | 75 ---------------- xatslib/DATS/CATS/JS/TEST/test02_jshsmap.dats | 87 ------------------- xatslib/TEST/CATS/JS/Makefile | 1 + xatslib/TEST/CATS/JS/Makefile_jsemit | 87 +++++++++++++++++++ 6 files changed, 88 insertions(+), 209 deletions(-) delete mode 100644 xatslib/DATS/CATS/JS/TEST/Makefile_testall delete mode 100644 xatslib/DATS/CATS/JS/TEST/test00_xatslib.dats delete mode 100644 xatslib/DATS/CATS/JS/TEST/test01_jsarray.dats delete mode 100644 xatslib/DATS/CATS/JS/TEST/test02_jshsmap.dats create mode 120000 xatslib/TEST/CATS/JS/Makefile create mode 100644 xatslib/TEST/CATS/JS/Makefile_jsemit diff --git a/xatslib/DATS/CATS/JS/TEST/Makefile_testall b/xatslib/DATS/CATS/JS/TEST/Makefile_testall deleted file mode 100644 index 1ed3ed837..000000000 --- a/xatslib/DATS/CATS/JS/TEST/Makefile_testall +++ /dev/null @@ -1,29 +0,0 @@ -############################################################ -### beg of [ATS3_XANADU/xatslib/JS/TEST/Makefile_testall] -############################################################ -############################################################ -XATS2JS1=\ -./../../../../../srcgen1/xats2js/srcgenx/bin/xats2js -############################################################ -############################################################ -all1:: \ -all1_test00 -all1_test00: \ -test00_xatslib.dats ; $(XATS2JS1) \ - -d ./test00_xatslib.dats > test00_xatslib_dats.js -############################################################ -all1:: \ -all1_test01 -all1_test01: \ -test01_jsarray.dats ; $(XATS2JS1) \ - -d ./test01_jsarray.dats > test01_jsarray_dats.js -############################################################ -all1:: \ -all1_test02 -all1_test02: \ -test02_jshsmap.dats ; $(XATS2JS1) \ - -d ./test02_jshsmap.dats > test02_jshsmap_dats.js -############################################################ -### end of [ATS3_XANADU/xatslib/JS/TEST/Makefile_testall] -############################################################ -############################################################ diff --git a/xatslib/DATS/CATS/JS/TEST/test00_xatslib.dats b/xatslib/DATS/CATS/JS/TEST/test00_xatslib.dats deleted file mode 100644 index db0d397f3..000000000 --- a/xatslib/DATS/CATS/JS/TEST/test00_xatslib.dats +++ /dev/null @@ -1,18 +0,0 @@ -(* ****** ****** *) -(* -HX-2024-08-09: -For testing xatslib/JS! -*) -(* ****** ****** *) -(* ****** ****** *) -// -#include -"./../../../..//HATS/xatslib_JS_dats.hats" -// -(* ****** ****** *) -(* ****** ****** *) -// -(* ****** ****** *)(* ****** ****** *)(* ****** ****** *) -(* ****** ****** *)(* ****** ****** *)(* ****** ****** *) - -(* end of [ATS3/XANADU_xatslib_DATS_CATS_JS_TEST_test00_xatslib.dats] *) diff --git a/xatslib/DATS/CATS/JS/TEST/test01_jsarray.dats b/xatslib/DATS/CATS/JS/TEST/test01_jsarray.dats deleted file mode 100644 index 95da4e216..000000000 --- a/xatslib/DATS/CATS/JS/TEST/test01_jsarray.dats +++ /dev/null @@ -1,75 +0,0 @@ -(* ****** ****** *) -(* -HX-2024-08-09: -For testing xatslib/JS! -*) -(* ****** ****** *) -(* ****** ****** *) -#staload _ = -"prelude/DATS/gdbg000.dats" -(* ****** ****** *) -(* ****** ****** *) -#include -"srcgen1\ -/prelude/HATS/prelude_dats.hats" -#include -"srcgen2\ -/prelude/HATS/prelude_dats.hats" -(* ****** ****** *) -(* ****** ****** *) -// -#include -"xatslib/HATS/xatslib_JS_dats.hats" -// -(* ****** ****** *) -(* ****** ****** *) -#include -"srcgen1\ -/prelude/HATS/CATS/JS/prelude_dats.hats" -(* ****** ****** *) -#staload _ = -"srcgen1\ -/prelude/DATS/CATS/JS/Node/g_print.dats" -(* ****** ****** *) -(* ****** ****** *) -// -val A1 = -jsarray(1) -val A2 = -jsarray("1", "2") -val A3 = -jsarray("1", "2", "3") -// -val () = -prints("A1(", type(A1), ") = ", A1, "\n") -val () = -prints("A2(", type(A2), ") = ", A2, "\n") -val () = -prints("A3(", type(A3), ") = ", A3, "\n") -// -(* ****** ****** *) -// -val An = -jsarray_make_ncpy -( 10, -1(*init*) ) -// -val () = -prints("An(", type(An), ") = ", An, "\n") -// -(* ****** ****** *) -(* ****** ****** *) -// -val iter = -jsarray_iter_make(An) -val-true = -jsarray_iter_next$work -(iter -,lam(i, x) => print1s("(i,x) = (", i, ",", x, ")\n")) -// -(* ****** ****** *) -(* ****** ****** *) -// -(* ****** ****** *)(* ****** ****** *)(* ****** ****** *) -(* ****** ****** *)(* ****** ****** *)(* ****** ****** *) - -(* end of [ATS3/XANADU_xatslib_DATS_CATS_JS_TEST_test01_jsarray.dats] *) diff --git a/xatslib/DATS/CATS/JS/TEST/test02_jshsmap.dats b/xatslib/DATS/CATS/JS/TEST/test02_jshsmap.dats deleted file mode 100644 index cbb2dcbd8..000000000 --- a/xatslib/DATS/CATS/JS/TEST/test02_jshsmap.dats +++ /dev/null @@ -1,87 +0,0 @@ -(* ****** ****** *) -(* -HX-2024-08-09: -For testing xatslib/JS! -*) -(* ****** ****** *) -(* ****** ****** *) -#staload _ = -"prelude/DATS/gdbg000.dats" -(* ****** ****** *) -(* ****** ****** *) -#include -"srcgen1\ -/prelude/HATS/prelude_dats.hats" -#include -"srcgen2\ -/prelude/HATS/prelude_dats.hats" -(* ****** ****** *) -(* ****** ****** *) -// -#include -"xatslib/HATS/xatslib_JS_dats.hats" -// -(* ****** ****** *) -(* ****** ****** *) -#include -"srcgen1\ -/prelude/HATS/CATS/JS/prelude_dats.hats" -(* ****** ****** *) -#staload _ = -"srcgen1\ -/prelude/DATS/CATS/JS/Node/g_print.dats" -(* ****** ****** *) -(* ****** ****** *) -// -val map1 = -jshsmap -(list(@("a", 0),@("b", 1))) -val ( ) = prints -("map1(", type(map1), ") = ", map1, "\n") -// -(* ****** ****** *) -// -val kxs1 = -map1.listize((*symloaded*)) -val ( ) = print1s -("kxs1(", vwtp(kxs1), ") = ", kxs1, "\n") -// -(* ****** ****** *) -// -val kxs2 = -map1.strmize((*symloaded*)) -// -val ( ) = print0s -("kxs2(", type(kxs2), ") = ", kxs2, "\n") -// -(* ****** ****** *) -//// -(* ****** ****** *) -// -val arr1 = jsarray -(lam(work) => GSEQ(map1).foritm(work)) -val ( ) = prints -("arr1(", type(arr1), ") = ", arr1, "\n") -// -val ( ) = -let -#typedef a = -(strn, sint) -in//let -sortref(arr1, -lam(kx1:a, kx2:a) => -let - val (k1, _) = kx1 - and (k2, _) = kx2 in -(k1\cmp(k2)) end) -end -// -val ( ) = prints -("arr1(", type(arr1), ") = ", arr1, "\n") -// -(* ****** ****** *) -(* ****** ****** *) -// -(* ****** ****** *)(* ****** ****** *)(* ****** ****** *) -(* ****** ****** *)(* ****** ****** *)(* ****** ****** *) - -(* end of [ATS3/XANADU_xatslib_DATS_CATS_JS_TEST_test01_jshsmap.dats] *) diff --git a/xatslib/TEST/CATS/JS/Makefile b/xatslib/TEST/CATS/JS/Makefile new file mode 120000 index 000000000..53fb3a554 --- /dev/null +++ b/xatslib/TEST/CATS/JS/Makefile @@ -0,0 +1 @@ +Makefile_jsemit \ No newline at end of file diff --git a/xatslib/TEST/CATS/JS/Makefile_jsemit b/xatslib/TEST/CATS/JS/Makefile_jsemit new file mode 100644 index 000000000..48a959df0 --- /dev/null +++ b/xatslib/TEST/CATS/JS/Makefile_jsemit @@ -0,0 +1,87 @@ +######################################################################## +######################################################################## +# Makefile for JS-emission +######################################################################## +######################################################################## +CAT=cat +ECHO=echo +NODE=node +######################################################################## +######################################################################## +all:: test00 +all:: test01 +all:: test02 +######################################################################## +######################################################################## +testall:: test00; $(NODE) $<_out.js +testall:: test01; $(NODE) $<_out.js +testall:: test02; $(NODE) $<_out.js +######################################################################## +######################################################################## +SRCGEN2_SRCGENX=\ +$(XATSHOME)/srcgen2/xats2js/srcgenx +SRCGEN2_XSHARED=\ +$(XATSHOME)/srcgen2/xats2js/srcgenx/xshared/runtime +SRCGEN2_XATS2JS=\ +$(XATSHOME)/srcgen2/xats2js/srcgenx/UTIL/xats2js_jsemit_dats.js +######################################################################## +######################################################################## +test00:: ; \ +echo "//" `date` > $@_out.js +############ +test00:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_js1emit.js >> $@_out.js +test00:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_prelude.js >> $@_out.js +test00:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_xatslib.js >> $@_out.js +############ +test00:: ; \ +$(CAT) $(XATSHOME)/prelude/DATS/CATS/JS/NODE/node000.cats >> $@_out.js +############ +test00:: \ +test00_xatslib.dats; \ +$(NODE) --stack-size=4096 $(SRCGEN2_XATS2JS) $< >> $@_out.js +######################################################################## +######################################################################## +test01:: ; \ +echo "//" `date` > $@_out.js +############ +test01:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_js1emit.js >> $@_out.js +test01:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_prelude.js >> $@_out.js +test01:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_xatslib.js >> $@_out.js +############ +test01:: ; \ +$(CAT) $(XATSHOME)/prelude/DATS/CATS/JS/NODE/node000.cats >> $@_out.js +############ +test01:: \ +test01_jsarray.dats; \ +$(NODE) --stack-size=4096 $(SRCGEN2_XATS2JS) $< >> $@_out.js +######################################################################## +######################################################################## +test02:: ; \ +echo "//" `date` > $@_out.js +############ +test02:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_js1emit.js >> $@_out.js +test02:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_prelude.js >> $@_out.js +test02:: ; \ +$(CAT) $(SRCGEN2_XSHARED)/xats2js_xatslib.js >> $@_out.js +############ +test02:: ; \ +$(CAT) $(XATSHOME)/prelude/DATS/CATS/JS/NODE/node000.cats >> $@_out.js +############ +test02:: \ +test02_jshsmap.dats; \ +$(NODE) --stack-size=4096 $(SRCGEN2_XATS2JS) $< >> $@_out.js +######################################################################## +######################################################################## +clean:: ; rm -f *~ +cleanall:: ; rm -f *~ +cleanall:: ; rm -f test??_out.js +######################################################################## +###################### end of [Makefile_jsemit] ########################