Updating: very very minorly

githwxi · Sep 10, 2024 · ad75fff · ad75fff
1 parent a0b785d
commit ad75fff
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/prelude/SATS/list000.sats b/prelude/SATS/list000.sats
@@ -129,8 +129,10 @@ fun
 list_make_ncpy
 {n:nat}
 (n0: sint(n), x0: a): list(a, n)
+(*
 #symload
 list with list_make_ncpy of 1000
+*)
 #symload
 list_ncpy with list_make_ncpy//of 1000
 //

diff --git a/prelude/TEST/CATS/JS/test03_a1sz000.dats b/prelude/TEST/CATS/JS/test03_a1sz000.dats
@@ -58,12 +58,13 @@ prints("fact(10) = ", fact(10), "\n")
 (* ****** ****** *)
 //
 val xs =
-list(10, lam(i) => i*i)
+list
+(10, lam(i:nint) => i*i)
 val ys = a1sz_make_list(xs)
 val () =
 prints("ys(", type(ys), ") = ", ys, "\n")
 val () = (
-GSEQ(ys).foritm(lam(x) => prints(x));print("\n"))
+GSEQ(ys).foritm(lam(x) => print(x));print("\n"))
 //
 (* ****** ****** *)
 (* ****** ****** *)

diff --git a/prelude/TEST/CATS/JS/test06_list000.dats b/prelude/TEST/CATS/JS/test06_list000.dats
@@ -25,7 +25,8 @@ For testing prelude/JS!
 (* ****** ****** *)
 (* ****** ****** *)
 //
-val ns = list(10, 1)
+val ns =
+list_ncpy(10, 1)
 val () =
 prints("ns = ", ns, "\n")
 val () = prints