Updating: very very minorly

githwxi · Sep 8, 2024 · 0b319fe · 0b319fe
1 parent 037ef7b
commit 0b319fe
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 8 deletions.
diff --git a/prelude/DATS/gmap000.dats b/prelude/DATS/gmap000.dats
@@ -40,21 +40,35 @@ Authoremail: gmhwxiATgmailDOTcom
 (* ****** ****** *)
 //
 #impltmp
-< xs:vt >
+< m0:vt >
+< k0:vt >
 < x0:vt >
 gmap_sep((*void*)) = ","
 #impltmp
-< xs:vt >
+< m0:vt >
+< k0:vt >
 < x0:vt >
-gseq_end((*void*)) = "}"
+gmap_end((*void*)) = "}"
 #impltmp
-< xs:vt >
+< m0:vt >
+< k0:vt >
 < x0:vt >
-gseq_beg((*void*)) = "gmap{"
+gmap_beg((*void*)) = "gmap{"
 //
 (* ****** ****** *)
 (* ****** ****** *)
 //
+#impltmp
+< m0:t0 >
+< k0:t0 >
+< x0:t0 >
+gmap_search$tst
+ (map, k0) =
+head$opt(
+filter0_fun(
+gseq_strmize
+<m0><(k0,x0)>(map), lam(kx) => g_equal<k0>(k0, kx.0)))
+//
 (* ****** ****** *)
 (* ****** ****** *)
 //

diff --git a/prelude/SATS/VT/optn000_vt.sats b/prelude/SATS/VT/optn000_vt.sats
@@ -72,7 +72,7 @@ fun
 optn_vt_length0
 {b0:b0}
 (xs:
-~optn_vt(x0,n0)): sint(b2i(b0))
+~optn_vt(x0,b0)): sint(b2i(b0))
 //
 (*
 HX-2024-09-07:
@@ -83,7 +83,7 @@ fun
 optn_vt_length1
 {b0:b0}
 (xs:
-!optn_vt(x0,n0)): sint(b2i(b0))
+!optn_vt(x0,b0)): sint(b2i(b0))
 //
 #symload length0 with optn_vt_length0 of 1000
 #symload length1 with optn_vt_length1 of 1000

diff --git a/prelude/SATS/optn000.sats b/prelude/SATS/optn000.sats
@@ -51,7 +51,7 @@ optn_cons_
 //
 fun<>
 optn_nilq
-{a:t0}{b:i0}
+{a:t0}{b:b0}
 (xs: optn(a,b)): bool(~b)
 //
 (* ****** ****** *)

diff --git a/srcgen1/TEST/Makefile_prelude b/srcgen1/TEST/Makefile_prelude
@@ -80,6 +80,8 @@ $(XATSOPT) -s $(PRELUDE)/SATS/gasz001.sats
 all0_sats:: ; \
 $(XATSOPT) -s $(PRELUDE)/SATS/gasz002.sats
 all0_sats:: ; \
+$(XATSOPT) -s $(PRELUDE)/SATS/gmap000.sats
+all0_sats:: ; \
 $(XATSOPT) -s $(PRELUDE)/SATS/gcls000.sats
 all0_sats:: ; \
 $(XATSOPT) -s $(PRELUDE)/SATS/gsyn000.sats