Updating: very very minorly

prelude/DATS/gmap000.dats

@@ -71,6 +71,8 @@ strm_vt_filter0_f1un(
 gseq_strmize<m0><(k0,x0)>(map),
 lam(kx:kx) => g_equal<k0>(k0, kx.0))) end
 //
+(* ****** ****** *)
+//
 #impltmp
 < m0:t0 >
 < k0:t0 >
@@ -92,7 +94,8 @@ val opt0 =
 gseq_head$opt0
 <strm_vt(kx)><kx>(
 strm_vt_filter0_f1un<kx>(
-gseq_strmize<m0><(k0,x0)>(map), lam(kx) => g_equal<k0>(k0, kx.0)))
+gmap_keyval$strmize<m0><k0><x0>(map), lam(kx) => g_equal<k0>(k0, kx.0)))
+//
 }
 //
 (* ****** ****** *)

prelude/SATS/gmap001.sats

@@ -0,0 +1,58 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                         Applied Type System                         *)
+(*                                                                     *)
+(***********************************************************************)
+
+(*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2024 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
+** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
+** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*)
+
+(* ****** ****** *)
+//
+(*
+Author: Hongwei Xi
+(*
+Sun 08 Sep 2024 01:55:00 PM EDT
+*)
+Authoremail: gmhwxiATgmailDOTcom
+*)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+fun
+<map:t0>
+<key:vt>
+<itm:vt>
+gmap_key$strmize(map): strm_vt(key)
+fun
+<map:t0>
+<key:vt>
+<itm:vt>
+gmap_keyval$strmize(map): strm_vt@(key, itm)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****** ****** *)(* ****** ****** *)
+(* ****** ****** *)(* ****** ****** *)
+
+(* end of [ATS3/XANADU_prelude_SATS_gmap001.sats] *)

srcgen1/prelude/SATS/gmap000.sats

@@ -83,7 +83,20 @@ fun
 <itm:t0>
 gmap_search$exn
 (kxs: map, key: key): (itm)
+fun
+<map:t0>
+<key:t0>
+<itm:t0>
+gmap_search$opt
+(kxs: map, key: key): optn_vt(itm)
+//
+(* ****** ****** *)
+(* ****** ****** *)
 //
+(*
+HX-2024-09-08:
+These are in [srcgen2]:
+*)
 fun
 <map:t0>
 <key:t0>
@@ -96,14 +109,9 @@ fun
 <itm:vt>
 gmap_search$cpy
 (kxs: map, key: key): optn_vt(itm)
-fun
-<map:t0>
-<key:t0>
-<itm:vt>
-gmap_search$opt
-(kxs: map, key: key): optn_vt(itm)
 //
 (* ****** ****** *)
+(* ****** ****** *)
 //
 fun
 <map:t0>