Updating: very very minorly

githwxi · Dec 25, 2024 · b4e6d3e · b4e6d3e
1 parent d42bf43
commit b4e6d3e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prelude/TEST/CATS/JS/test09_llist00.dats b/prelude/TEST/CATS/JS/test09_llist00.dats
@@ -29,7 +29,7 @@ val ns =
 list_vt_nfun
 (10, lam(i) => i)
 val ns =
-map0_fun(ns, lam(i:sint)=>i*i)
+map0$fun(ns, lam(i:sint)=>i*i)
 val () = print0s("ns = ", ns, "\n")
 //
 (* ****** ****** *)
@@ -39,7 +39,7 @@ val ns =
 list_vt_nfun
 (10, lam(i) => i)
 val ns =
-maprev0_fun(ns, lam(i:sint)=>i*i)
+maprev0$fun(ns, lam(i:sint)=>i*i)
 val () = print0s("ns = ", ns, "\n")
 //
 (* ****** ****** *)