Updating: very very minorly

githwxi · Sep 8, 2024 · f756ee4 · f756ee4
1 parent 5172e51
commit f756ee4
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 0 deletions.
diff --git a/xatslib/githwxi/DATS/CATS/JS/myobj00.dats b/xatslib/githwxi/DATS/CATS/JS/myobj00.dats
@@ -0,0 +1,23 @@
+(* ****** ****** *)
+(* ****** ****** *)
+(*
+HX-2024-09-08:
+For hmap: myobj = hmap(dtval)
+Sat 07 Sep 2024 08:37:22 PM EDT
+*)
+(* ****** ****** *)
+(* ****** ****** *)
+#staload "./../../myobj00.dats"
+(* ****** ****** *)
+(* ****** ****** *)
+//
+#absimpl
+hmap_tbox(a:t0) = jshsmap(strn, a)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
+(* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
+
+(* end of [ATS3/XANADU_xatslib_githwxi_DATS_CATS_JS_myobj00.dats] *)
diff --git a/xatslib/githwxi/DATS/myobj00.dats b/xatslib/githwxi/DATS/myobj00.dats
@@ -20,6 +20,12 @@ hmap_tbox(a:t0)
 #typedef
 hmap(a:t0) = hmap_tbox(a)
 //
+#extern
+fun
+<a:t0>
+hmap_nil((*0*)): hmap(a)
+//
+(* ****** ****** *)
 (* ****** ****** *)
 //
 datatype dtval =