Updating: very very minorly

githwxi · Jan 22, 2025 · 6371627 · 6371627
1 parent c1bc18d
commit 6371627
Show file tree

Hide file tree

Showing 15 changed files with 138 additions and 82 deletions.
diff --git a/srcgen2/SATS/dynexp4.sats b/srcgen2/SATS/dynexp4.sats
@@ -25,12 +25,14 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 (*
 HX-2023-12-26:
 For linearity checking!!!
 *)
 (* ****** ****** *)
+(* ****** ****** *)
 //
 (*
 Author: Hongwei Xi
@@ -41,12 +43,6 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
-#include
-"./../HATS/xatsopt_sats.hats"
-(* ****** ****** *)
-#define
-ATS_PACKNAME
-"ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
 //
 #staload
@@ -65,6 +61,7 @@ ATS_PACKNAME
   MAP = "./xsymmap.sats"
 //
 (* ****** ****** *)
+(* ****** ****** *)
 //
 #staload
   LEX = "./lexing0.sats"
@@ -90,6 +87,15 @@ ATS_PACKNAME
 //
 (* ****** ****** *)
 (* ****** ****** *)
+#include
+"./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+(* ****** ****** *)
+#define
+ATS_PACKNAME
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+(* ****** ****** *)
 //
 #typedef lab_t = $LAB.lab_t
 #typedef label = $LAB.label
@@ -109,9 +115,9 @@ ATS_PACKNAME
 (* ****** ****** *)
 //
 #typedef
- fpath = ($FP0.fpath)
+  fpath = $FP0.fpath
 #typedef
- fpathopt = ($FP0.fpathopt)
+  fpathopt = $FP0.fpathopt
 //
 (* ****** ****** *)
 #typedef tnode = $LEX.tnode

diff --git a/srcgen2/SATS/filpath.sats b/srcgen2/SATS/filpath.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*

diff --git a/srcgen2/SATS/fperr20.sats b/srcgen2/SATS/fperr20.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -36,12 +37,6 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
-#include
-"./../HATS/xatsopt_sats.hats"
-(* ****** ****** *)
-#define
-ATS_PACKNAME // namespace
-"ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
 #staload
 LEX = "./lexing0.sats"
@@ -51,6 +46,15 @@ S2E = "./staexp2.sats"
 #staload
 D2E = "./dynexp2.sats"
 (* ****** ****** *)
+(* ****** ****** *)
+#include
+"./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+#define
+ATS_PACKNAME // namespace
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+(* ****** ****** *)
 #typedef token = $LEX.token
 (* ****** ****** *)
 #typedef d2pat = $D2E.d2pat

diff --git a/srcgen2/SATS/fperr30.sats b/srcgen2/SATS/fperr30.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -36,12 +37,6 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
-#include
-"./../HATS/xatsopt_sats.hats"
-(* ****** ****** *)
-#define
-ATS_PACKNAME // namespace
-"ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
 #staload
 LEX = "./lexing0.sats"
@@ -53,6 +48,15 @@ T2P = "./statyp2.sats"
 #staload
 D3E = "./dynexp3.sats"
 (* ****** ****** *)
+(* ****** ****** *)
+#include
+"./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+#define
+ATS_PACKNAME // namespace
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+(* ****** ****** *)
 #typedef token = $LEX.token
 (* ****** ****** *)
 #typedef s2typ = $S2E.s2typ

diff --git a/srcgen2/SATS/fperr40.sats b/srcgen2/SATS/fperr40.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -36,12 +37,6 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
-#include
-"./../HATS/xatsopt_sats.hats"
-(* ****** ****** *)
-#define
-ATS_PACKNAME // namespace
-"ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
 #staload
 LEX = "./lexing0.sats"
@@ -53,6 +48,15 @@ T2P = "./statyp2.sats"
 #staload
 D4E = "./dynexp4.sats"
 (* ****** ****** *)
+(* ****** ****** *)
+#include
+"./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+#define
+ATS_PACKNAME // namespace
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+(* ****** ****** *)
 #typedef token = $LEX.token
 (* ****** ****** *)
 #typedef s2typ = $S2E.s2typ

diff --git a/srcgen2/SATS/gmacro1.sats b/srcgen2/SATS/gmacro1.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -36,18 +37,36 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+#staload
+SYM = "./xsymbol.sats"
+//
+#staload
+LAB = "./xlabel0.sats"
+#staload
+LOC = "./locinfo.sats"
+//
+#staload
+LEX = "./lexing0.sats"
+//
+(* ****** ****** *)
+//
+#staload
+S1E = "./staexp1.sats"
+#staload
+D1E = "./dynexp1.sats"
+//
+(* ****** ****** *)
+(* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
 (* ****** ****** *)
 #define
 ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
-//
-#staload
-LAB = "./xlabel0.sats"
-#staload
-LOC = "./locinfo.sats"
+(* ****** ****** *)
 //
 #typedef lab_t = $LAB.lab_t
 #typedef label = $LAB.label
@@ -56,22 +75,12 @@ LOC = "./locinfo.sats"
 //
 (* ****** ****** *)
 //
-#staload
-SYM = "./xsymbol.sats"
-#staload
-LEX = "./lexing0.sats"
-//
 #typedef sym_t = $SYM.sym_t
 #typedef symbl = $SYM.symbl
 #typedef token = $LEX.token
 //
 (* ****** ****** *)
 //
-#staload
-S1E = "./staexp1.sats"
-#staload
-D1E = "./dynexp1.sats"
-//
 #typedef g1exp = $S1E.g1exp
 #typedef g1arg = $S1E.g1arg
 #typedef g1mag = $S1E.g1mag

diff --git a/srcgen2/SATS/lexbuf0.sats b/srcgen2/SATS/lexbuf0.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -34,15 +35,18 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
+#staload
+LOC = "./locinfo.sats"
+(* ****** ****** *)
+(* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
 (* ****** ****** *)
 #define
 ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
-#staload
-LOC = "./locinfo.sats"
 (* ****** ****** *)
 #typedef pos_t = $LOC.pos_t
 #typedef loc_t = $LOC.loc_t

diff --git a/srcgen2/SATS/lexing0.sats b/srcgen2/SATS/lexing0.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -34,12 +35,6 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
-#include
-"./../HATS/xatsopt_sats.hats"
-(* ****** ****** *)
-#define
-ATS_PACKNAME
-"ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
 #staload
 LOC = "./locinfo.sats"
@@ -48,6 +43,15 @@ BUF = "./lexbuf0.sats"
 (* ****** ****** *)
 #staload "./xbasics.sats"
 (* ****** ****** *)
+(* ****** ****** *)
+#include
+"./../HATS/xatsopt_sats.hats"
+(* ****** ****** *)
+#define
+ATS_PACKNAME
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+(* ****** ****** *)
 #typedef loc_t = $LOC.loc_t
 #typedef lcsrc = $LOC.lcsrc
 #vwtpdef lxbf1 = $BUF.lxbf1

diff --git a/srcgen2/SATS/locinfo.sats b/srcgen2/SATS/locinfo.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -34,14 +35,20 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
+#staload
+FP0 = "./filpath.sats"
+(* ****** ****** *)
+#typedef fpath = $FP0.fpath
+(* ****** ****** *)
+(* ****** ****** *)
 #include
 "./../HATS/xatsopt_sats.hats"
 (* ****** ****** *)
 #define
 ATS_PACKNAME
 "ATS3.XANADU.xatsopt-20220500"
 (* ****** ****** *)
-#staload FP0 = "./filpath.sats"
 (* ****** ****** *)
 (*
 HX-2022-06-10:
@@ -57,8 +64,6 @@ char sequence), the starting position (loc.pbeg)
 of the range, and the ending position (loc.pend).
 *)
 (* ****** ****** *)
-#typedef
-fpath = $FP0.fpath
 (* ****** ****** *)
 //
 datatype

diff --git a/srcgen2/SATS/nmspace.sats b/srcgen2/SATS/nmspace.sats
@@ -25,6 +25,7 @@
 ** 02110-1301, USA.
 *)
 
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (*
@@ -36,11 +37,13 @@ Authoremail: gmhwxiATgmailDOTcom
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
 //
 #abstbox nmitm_tbox // ptr
 #typedef nmitm = nmitm_tbox
 //
 (* ****** ****** *)
+(* ****** ****** *)
 fun
 the_nmspace_top0((*void*)): nmitm
 (* ****** ****** *)
-Original file line number
+Diff line change
@@ Expand Up / @@ -25,6 +25,7 @@ @@
     ** 02110-1301, USA.
     *)
+    (* ****** ****** *)
     (* ****** ****** *)
     //
     (*
@@ Expand Down @@