Updating: very very minorly

githwxi · Feb 8, 2025 · 6c10a03 · 6c10a03
1 parent b95a259
commit 6c10a03
Show file tree

Hide file tree

Showing 2 changed files with 33 additions and 3 deletions.
diff --git a/srcgen2/DATS/filpath.dats b/srcgen2/DATS/filpath.dats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -34,17 +35,27 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
+#define
+ATS_PACKNAME
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+(* ****** ****** *)
+//
 #include
 "./../HATS/xatsopt_sats.hats"
+(*
 #include
 "./../HATS/xatsopt_dats.hats"
+*)
+#include
+"./../HATS/xatsopt_dpre.hats"
+//
 (* ****** ****** *)
-#define
-ATS_PACKNAME
-"ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
 #staload "./../SATS/filpath.sats"
 (* ****** ****** *)
+(* ****** ****** *)
 
 local
 

diff --git a/srcgen2/HATS/xatsopt_dpre.hats b/srcgen2/HATS/xatsopt_dpre.hats
@@ -108,6 +108,25 @@ For ATS3/XATSOPT
 #symload print with g_print of 0101 // > 0100
 (* ****** ****** *)
 (* ****** ****** *)
+//
+#impltmp
+< a:vt >
+a0ref_make_1val(x0) =
+a0ptr2ref(a0ptr_make0_1val<a>(x0))
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+#impltmp
+<>(*tmp*)
+strn_tabulate$f1un
+(n0, fopr) =
+(
+strn_vt2t
+(strn_vt_tabulate$f1un<>(n0, fopr)))
+//
+(* ****** ****** *)
+(* ****** ****** *)
 #staload _(*local*) = "./../DATS/xatsopt_tmplib.dats"
 (* ****** ****** *)
 (* ****** ****** *)