Updating: very very minorly

githwxi · Sep 14, 2024 · ab09f82 · ab09f82
1 parent 44efbb3
commit ab09f82
Show file tree

Hide file tree

Showing 3 changed files with 68 additions and 2 deletions.
diff --git a/prelude/DATS/VT/list001_vt.dats b/prelude/DATS/VT/list001_vt.dats
@@ -271,6 +271,67 @@ gseq_strmize0
 (* ****** ****** *)
 (* ****** ****** *)
 //
+(*
+HX-2024-09-14:
+Sat 14 Sep 2024 03:04:03 PM EDT
+*)
+//
+#impltmp
+< x0:t0 >
+< y0:t0 >
+list_vt_map0
+  ( xs ) = let
+//
+fnx
+loop
+{i:nat}.<i>.
+( xs
+: ~list_vt(x0,i)
+, r0
+: &(?list_vt(y0)) >> list_vt(y0,i)
+) : void =
+(
+case+ xs of
+| ~
+list_vt_nil() =>
+(r0 := list_vt_nil())
+| ~
+list_vt_cons(x0, xs) =>
+let
+val y0 =
+map$fopr0<x0><y0>(x0)
+val () =
+(r0 := list_vt_cons(y0, _))
+in
+(
+  loop(xs, r0.1); $fold(r0))
+end
+) (* end of [loop] *)
+//
+in
+//
+let
+  var r0: list_vt(y0)
+  val () = loop(xs, r0) in r0 end//let
+//
+end(*let*)//end-of-[ list_vt_map0(...) ]
+//
+(* ****** ****** *)
+//
+#impltmp
+< x0:t0 >
+< y0:t0 >
+list_vt_map0_f1un
+  (xs, f0) =
+(
+  list_vt_map0<x0><y0>(xs)) where
+{
+#impltmp map$fopr0<x0><y0>(x0) = f0(x0)
+}(*where*)//end-of-[list_vt_map0_f1un(...)]
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
 

diff --git a/prelude/TEST/CATS/JS/test09_llist00.dats b/prelude/TEST/CATS/JS/test09_llist00.dats
@@ -26,7 +26,12 @@ For testing prelude/JS!
 (* ****** ****** *)
 //
 val ns =
-list_vt_nfun(10, lam(i) => i)
+list_vt_nfun
+(10, lam(i) => i)
+//
+val ns =
+map0_fun(ns, lam(i:sint)=>i*i)
+//
 val () = print0s("ns = ", ns, "\n")
 //
 (* ****** ****** *)

diff --git a/srcgen1/prelude/DATS/VT/list000_vt.dats b/srcgen1/prelude/DATS/VT/list000_vt.dats
@@ -715,7 +715,7 @@ in
   let
   var r0: list_vt(y0)
   val () = loop(xs, r0) in r0 end
-end (*let*)//end of [list_map0_vt(...)]
+end (*let*)//end of [list_vt_map0_vt(...)]
 //
 (* ****** ****** *)