Updating: very very minorly

githwxi · Feb 8, 2025 · 6476252 · 6476252
1 parent 033acf5
commit 6476252
Show file tree

Hide file tree

Showing 5 changed files with 35 additions and 0 deletions.
diff --git a/srcgen2/DATS/xstamp0.dats b/srcgen2/DATS/xstamp0.dats
@@ -43,8 +43,13 @@ ATS_PACKNAME
 (* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+(*
 #include
 "./../HATS/xatsopt_dats.hats"
+*)
+#include
+"./../HATS/xatsopt_dpre.hats"
 (* ****** ****** *)
 (* ****** ****** *)
 #staload "./../SATS/xstamp0.sats"

diff --git a/srcgen2/DATS/xstamp0_print0.dats b/srcgen2/DATS/xstamp0_print0.dats
@@ -43,8 +43,13 @@ ATS_PACKNAME
 (* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+(*
 #include
 "./../HATS/xatsopt_dats.hats"
+*)
+#include
+"./../HATS/xatsopt_dpre.hats"
 (* ****** ****** *)
 (* ****** ****** *)
 #staload "./../SATS/xstamp0.sats"

diff --git a/srcgen2/DATS/xstamp0_tmpmap.dats b/srcgen2/DATS/xstamp0_tmpmap.dats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -36,17 +37,26 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
 #define
 ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
+(* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+(*
 #include
 "./../HATS/xatsopt_dats.hats"
+*)
+#include
+"./../HATS/xatsopt_dpre.hats"
+(* ****** ****** *)
 (* ****** ****** *)
 #staload "./../SATS/xstamp0.sats"
 (* ****** ****** *)
+(* ****** ****** *)
 
 local
 

diff --git a/srcgen2/DATS/xsymbol.dats b/srcgen2/DATS/xsymbol.dats
@@ -42,8 +42,13 @@ ATS_PACKNAME
 (* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+(*
 #include
 "./../HATS/xatsopt_dats.hats"
+*)
+#include
+"./../HATS/xatsopt_dpre.hats"
 (* ****** ****** *)
 (* ****** ****** *)
 #staload

diff --git a/srcgen2/DATS/xsymbol_print0.dats b/srcgen2/DATS/xsymbol_print0.dats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -34,17 +35,26 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
 #define
 ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
+(* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+(*
 #include
 "./../HATS/xatsopt_dats.hats"
+*)
+#include
+"./../HATS/xatsopt_dpre.hats"
+(* ****** ****** *)
 (* ****** ****** *)
 #staload "./../SATS/xsymbol.sats"
 (* ****** ****** *)
+(* ****** ****** *)
 
 #implfun
 symbl_fprint