Updating: very very minorly

githwxi · Oct 6, 2024 · 4a8455c · 4a8455c
1 parent 9088c8a
commit 4a8455c
Show file tree

Hide file tree

Showing 45 changed files with 171 additions and 2 deletions.
diff --git a/srcgen2/SATS/dynexp0.sats b/srcgen2/SATS/dynexp0.sats
@@ -1419,5 +1419,9 @@ d0parsed_make_args
 #symload d0parsed with d0parsed_make_args
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_dynexp0.sats] *)
diff --git a/srcgen2/SATS/dynexp1.sats b/srcgen2/SATS/dynexp1.sats
@@ -1232,5 +1232,9 @@ d1parsed_make_args
 #symload d1parsed with d1parsed_make_args
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_dynexp1.sats] *)
diff --git a/srcgen2/SATS/dynexp2.sats b/srcgen2/SATS/dynexp2.sats
@@ -1924,5 +1924,8 @@ d2eclist_fproc_e1nv(xs: d2eclist, e1: !e1): void
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_dynexp2.sats] *)
diff --git a/srcgen2/SATS/dynexp3.sats b/srcgen2/SATS/dynexp3.sats
@@ -1198,5 +1198,8 @@ tmpmatch_d3cl_t2js
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_dynexp3.sats] *)
diff --git a/srcgen2/SATS/dynexp4.sats b/srcgen2/SATS/dynexp4.sats
@@ -945,5 +945,8 @@ d4parsed_make_args
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_dynexp4.sats] *)
diff --git a/srcgen2/SATS/filpath.sats b/srcgen2/SATS/filpath.sats
@@ -197,5 +197,9 @@ fsrch_dir1base
 (dir0: drpth, base: strn): optn(fpath)
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_filpath.sats] *)
diff --git a/srcgen2/SATS/fperr20.sats b/srcgen2/SATS/fperr20.sats
@@ -182,5 +182,9 @@ fun
 fperr20_d2eclistopt(FILR, d2eclistopt): void
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_fperr20.sats] *)
diff --git a/srcgen2/SATS/fperr30.sats b/srcgen2/SATS/fperr30.sats
@@ -200,5 +200,8 @@ fperr30_d3eclistopt(FILR, d3eclistopt): void
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_fperr30.sats] *)
diff --git a/srcgen2/SATS/fperr40.sats b/srcgen2/SATS/fperr40.sats
@@ -161,11 +161,16 @@ fperr40_d4parsed
 ( out: FILR, dpar: d4parsed ): void//end-fun
 //
 (* ****** ****** *)
+//
 fun
 fperr40_d4explstopt(FILR, d4explstopt): void
 fun
 fperr40_d4eclistopt(FILR, d4eclistopt): void
+//
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_fperr40.sats] *)
diff --git a/srcgen2/SATS/gmacro1.sats b/srcgen2/SATS/gmacro1.sats
@@ -269,5 +269,9 @@ trans11_g1mac_apps
 ! tr11env, g1f0: g1mac, g1ms: g1maclst): g1mac
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_gmacro1.sats] *)
diff --git a/srcgen2/SATS/lexbuf0.sats b/srcgen2/SATS/lexbuf0.sats
@@ -142,12 +142,18 @@ lxbf2_take_clst // get the char
 #symload cpcur with lxbf2_copy_pcur
 #symload tclst with lxbf2_take_clst
 (* ****** ****** *)
+//
 fun
 lxbf2_make_strn
 (src: strn(*text*)): lxbf2
 fun
 lxbf2_make0_cstrx // lxbf2 bases on a
 (inp: ~strx_vt(sint)): lxbf2 // stream
+//
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_lexbuf0.sats] *)
diff --git a/srcgen2/SATS/lexing0.sats b/srcgen2/SATS/lexing0.sats
@@ -445,5 +445,9 @@ fun // is returned in case of error
 fpath_tokenize(fpx:strn): list_vt(token)
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_lexing0.sats] *)
diff --git a/srcgen2/SATS/locinfo.sats b/srcgen2/SATS/locinfo.sats
@@ -153,5 +153,8 @@ fprint_loctn_as_stamp: (FILR, loctn) -> void
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_locinfo.sats] *)
diff --git a/srcgen2/SATS/nmspace.sats b/srcgen2/SATS/nmspace.sats
@@ -65,5 +65,9 @@ the_nmspace_find_f1un
 // end of [the_nmspace_find_f1un]
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_nmspace.sats] *)
diff --git a/srcgen2/SATS/parsing.sats b/srcgen2/SATS/parsing.sats
@@ -673,5 +673,8 @@ fun p1_d0exp_app: p1_fun(d0exp)//[parsing_dynexp]
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_parsing.sats] *)
diff --git a/srcgen2/SATS/preadx0.sats b/srcgen2/SATS/preadx0.sats
@@ -531,5 +531,9 @@ l0d0e_RBRACE_fpemsg
   (out: FILR, ldrb: l0d0e_RBRACE): void
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_preadx0.sats] *)
diff --git a/srcgen2/SATS/staexp0.sats b/srcgen2/SATS/staexp0.sats
@@ -1002,5 +1002,9 @@ d0typ_make_node
 #symload d0typ with d0typ_make_node
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_staexp0.sats] *)
diff --git a/srcgen2/SATS/staexp1.sats b/srcgen2/SATS/staexp1.sats
@@ -846,5 +846,9 @@ d1typ_make_node
 #symload d1typ with d1typ_make_node
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_staexp1.sats] *)
diff --git a/srcgen2/SATS/staexp2.sats b/srcgen2/SATS/staexp2.sats
@@ -1075,5 +1075,9 @@ l2s2elst_revarx
 , s2var, s2var, flag: &sint >> _): l2s2elst
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_staexp2.sats] *)
diff --git a/srcgen2/SATS/statyp2.sats b/srcgen2/SATS/statyp2.sats
@@ -522,5 +522,9 @@ s2typ_substx_e1nv
 , svts: s2vts, flag: &sint >> _): s2typ
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_statyp2.sats] *)
diff --git a/srcgen2/SATS/trans01.sats b/srcgen2/SATS/trans01.sats
@@ -826,5 +826,9 @@ trans01_from_fpath
 (stadyn: sint, source: strn(*fpath*)): d1parsed
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_trans01.sats] *)
diff --git a/srcgen2/SATS/trans12.sats b/srcgen2/SATS/trans12.sats
@@ -1093,5 +1093,8 @@ trans02_from_fpath
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_trans12.sats] *)
diff --git a/srcgen2/SATS/trans23.sats b/srcgen2/SATS/trans23.sats
@@ -614,5 +614,8 @@ trans03_from_fpath
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_trans23.sats] *)
diff --git a/srcgen2/SATS/trans34.sats b/srcgen2/SATS/trans34.sats
@@ -1023,5 +1023,8 @@ d4parsed_from_fpath
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_trans34.sats] *)
diff --git a/srcgen2/SATS/trans3a.sats b/srcgen2/SATS/trans3a.sats
@@ -492,5 +492,9 @@ trans3a_d3eclistopt
 ! tr3aenv,dopt:d3eclistopt):d3eclistopt
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_trans3a.sats] *)
diff --git a/srcgen2/SATS/tread01.sats b/srcgen2/SATS/tread01.sats
@@ -520,5 +520,9 @@ fun
 d1eclistopt_fpemsg(FILR, d1eclistopt): void
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_tread01.sats] *)
diff --git a/srcgen2/SATS/tread12.sats b/srcgen2/SATS/tread12.sats
@@ -391,5 +391,8 @@ tread02_from_fpath
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_tread12.sats] *)
diff --git a/srcgen2/SATS/tread20.sats b/srcgen2/SATS/tread20.sats
@@ -228,5 +228,9 @@ fun tread20_d2cstdclist: ftread20(d2cstdclist)
 fun tread20_d2explstopt: ftread20(d2explstopt)
 fun tread20_d2eclistopt: ftread20(d2eclistopt)
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_tread20.sats] *)
diff --git a/srcgen2/SATS/tread23.sats b/srcgen2/SATS/tread23.sats
@@ -246,5 +246,8 @@ tread03_from_fpath
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_tread23.sats] *)
diff --git a/srcgen2/SATS/tread30.sats b/srcgen2/SATS/tread30.sats
@@ -194,5 +194,9 @@ fun tread30_d3fundclist: ftread30(d3fundclist)
 fun tread30_d3explstopt: ftread30(d3explstopt)
 fun tread30_d3eclistopt: ftread30(d3eclistopt)
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_tread30.sats] *)
diff --git a/srcgen2/SATS/trsym2b.sats b/srcgen2/SATS/trsym2b.sats
@@ -273,5 +273,9 @@ match2a_d2ptmlst
 ! tr2aenv, dpis:d2ptmlst, t2p0:s2typ): d2ptmlst
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_trsym2b.sats] *)
diff --git a/srcgen2/SATS/trtmp3b.sats b/srcgen2/SATS/trtmp3b.sats
@@ -407,5 +407,9 @@ tr3benv_tapq_resolve
 ! tr3benv, dcst: d2cst, t2js: t2jaglst): timpl
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_trtmp3b.sats] *)
diff --git a/srcgen2/SATS/trtmp3c.sats b/srcgen2/SATS/trtmp3c.sats
@@ -531,5 +531,9 @@ tr3cenv_timp_resolve
 *)
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_trtmp3c.sats] *)
diff --git a/srcgen2/SATS/xatsopt.sats b/srcgen2/SATS/xatsopt.sats
@@ -117,5 +117,9 @@ fun
 d3parsed_of_trans03(dpar: d0parsed): d3parsed
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_xatsopt.sats] *)
diff --git a/srcgen2/SATS/xbasics.sats b/srcgen2/SATS/xbasics.sats
@@ -307,5 +307,9 @@ trcdknd_equal
 fun
 trcdknd_fprint: (FILR, trcdknd)->void
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_xbasics.sats] *)
diff --git a/srcgen2/SATS/xdepend.sats b/srcgen2/SATS/xdepend.sats
@@ -143,5 +143,8 @@ xdepend_d2parsed(dpar: d2parsed): d2eclist
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_xdepend.sats] *)
diff --git a/srcgen2/SATS/xerrory.sats b/srcgen2/SATS/xerrory.sats
@@ -59,5 +59,9 @@ fun abort((*void*)): void
 fun abort_interr((*void*)): void
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_xerrory.sats] *)
diff --git a/srcgen2/SATS/xfixity.sats b/srcgen2/SATS/xfixity.sats
@@ -237,5 +237,9 @@ fun
 fxitm_pstfix(x0: a, f1: a): fxitm(a) // f1(x0)
 //
 (* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_xfixity.sats] *)
diff --git a/srcgen2/SATS/xglobal.sats b/srcgen2/SATS/xglobal.sats
@@ -349,5 +349,8 @@ the_dexpenv_allist_add0(sym_t, d2itm): void
 //
 (* ****** ****** *)
 (* ****** ****** *)
+//
+(* ****************************************** *)
+(* ****************************************** *)
 
 (* end of [ATS3/XATSOPT_srcgen2_SATS_xglobal.sats] *)