From 4a8455cc0d5823ebee6e550dad609566fcc512b4 Mon Sep 17 00:00:00 2001 From: Hongwei Date: Sat, 5 Oct 2024 21:41:56 -0400 Subject: [PATCH] Updating: very very minorly --- srcgen2/SATS/dynexp0.sats | 4 ++++ srcgen2/SATS/dynexp1.sats | 4 ++++ srcgen2/SATS/dynexp2.sats | 3 +++ srcgen2/SATS/dynexp3.sats | 3 +++ srcgen2/SATS/dynexp4.sats | 3 +++ srcgen2/SATS/filpath.sats | 4 ++++ srcgen2/SATS/fperr20.sats | 4 ++++ srcgen2/SATS/fperr30.sats | 3 +++ srcgen2/SATS/fperr40.sats | 5 +++++ srcgen2/SATS/gmacro1.sats | 4 ++++ srcgen2/SATS/lexbuf0.sats | 6 ++++++ srcgen2/SATS/lexing0.sats | 4 ++++ srcgen2/SATS/locinfo.sats | 3 +++ srcgen2/SATS/nmspace.sats | 4 ++++ srcgen2/SATS/parsing.sats | 3 +++ srcgen2/SATS/preadx0.sats | 4 ++++ srcgen2/SATS/staexp0.sats | 4 ++++ srcgen2/SATS/staexp1.sats | 4 ++++ srcgen2/SATS/staexp2.sats | 4 ++++ srcgen2/SATS/statyp2.sats | 4 ++++ srcgen2/SATS/trans01.sats | 4 ++++ srcgen2/SATS/trans12.sats | 3 +++ srcgen2/SATS/trans23.sats | 3 +++ srcgen2/SATS/trans34.sats | 3 +++ srcgen2/SATS/trans3a.sats | 4 ++++ srcgen2/SATS/tread01.sats | 4 ++++ srcgen2/SATS/tread12.sats | 3 +++ srcgen2/SATS/tread20.sats | 4 ++++ srcgen2/SATS/tread23.sats | 3 +++ srcgen2/SATS/tread30.sats | 4 ++++ srcgen2/SATS/trsym2b.sats | 4 ++++ srcgen2/SATS/trtmp3b.sats | 4 ++++ srcgen2/SATS/trtmp3c.sats | 4 ++++ srcgen2/SATS/xatsopt.sats | 4 ++++ srcgen2/SATS/xbasics.sats | 4 ++++ srcgen2/SATS/xdepend.sats | 3 +++ srcgen2/SATS/xerrory.sats | 4 ++++ srcgen2/SATS/xfixity.sats | 4 ++++ srcgen2/SATS/xglobal.sats | 3 +++ srcgen2/SATS/xlabel0.sats | 4 ++++ srcgen2/SATS/xstamp0.sats | 4 ++++ srcgen2/SATS/xsymbol.sats | 7 +++++-- srcgen2/SATS/xsymenv.sats | 4 ++++ srcgen2/SATS/xsymmap.sats | 4 ++++ srcgen2/SATS/xsynoug.sats | 4 ++++ 45 files changed, 171 insertions(+), 2 deletions(-) diff --git a/srcgen2/SATS/dynexp0.sats b/srcgen2/SATS/dynexp0.sats index 774bf2409..3df52c0b8 100644 --- 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 index 8b65016f7..25e083d77 100644 --- 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 index e8a4498e1..30b22708a 100644 --- 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 index ab0c85b66..8ded2af12 100644 --- 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 index ff38a1910..cff986455 100644 --- 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 index b5c654669..a8e9a4894 100644 --- 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 index 5dafa1e7a..15ba22290 100644 --- 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 index 65e2f68ea..6d057ebfd 100644 --- 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 index f26babf6b..4737558fa 100644 --- 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 index 138b4e44d..024ba3f36 100644 --- 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 index f9ecf940d..3d244dabc 100644 --- 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 index 726bb84c7..efcb7fd8e 100644 --- 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 index 27e16a65d..0669c48f0 100644 --- 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 index 54d412231..a27d29012 100644 --- 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 index 126665ed2..aee97323e 100644 --- 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 index e562e607c..f56662be5 100644 --- 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 index 4ffd9b34e..13f7d5943 100644 --- 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 index 9563404aa..fc6435e13 100644 --- 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 index b4787635e..0b2d14a13 100644 --- 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 index aa71fc001..adf293f2f 100644 --- 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 index c415a8c15..1c9bd1c8d 100644 --- 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 index 5d491dd8f..c81e034c1 100644 --- 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 index f333c4ff0..5bb208594 100644 --- 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 index 9ff6f1cb5..5eb3c200f 100644 --- 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 index d35539e3b..e8c5ede63 100644 --- 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 index ce2e073be..0601429b3 100644 --- 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 index b536ed92c..21d115c9b 100644 --- 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 index 0e80eaa10..0845698e2 100644 --- 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 index e91ae6c5e..1ab3ae6f9 100644 --- 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 index 4e83dcb26..a19d6cd1d 100644 --- 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 index b9f41581d..cf6f82349 100644 --- 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 index 5de6f5bc1..a8a1dfeff 100644 --- 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 index eae261ad7..711a047f9 100644 --- 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 index 33b4d363c..7d24f57b6 100644 --- 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 index c12abb2d7..0f4026da2 100644 --- 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 index 42a22fa56..64f63486f 100644 --- 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 index 038f4227b..c878575ad 100644 --- 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 index b0c13edf0..d1d26b587 100644 --- 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 index e47e95c72..592708f8f 100644 --- 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] *) diff --git a/srcgen2/SATS/xlabel0.sats b/srcgen2/SATS/xlabel0.sats index eacc88210..e7152f8c4 100644 --- a/srcgen2/SATS/xlabel0.sats +++ b/srcgen2/SATS/xlabel0.sats @@ -73,5 +73,9 @@ fun label_fprint(FILR, label): void // (* ****** ****** *) +(* ****** ****** *) +// +(* ****************************************** *) +(* ****************************************** *) (* end of [ATS3/XATSOPT_srcgen2_SATS_xlabel0.sats] *) diff --git a/srcgen2/SATS/xstamp0.sats b/srcgen2/SATS/xstamp0.sats index 701c8e092..895a8c4b7 100644 --- a/srcgen2/SATS/xstamp0.sats +++ b/srcgen2/SATS/xstamp0.sats @@ -121,5 +121,9 @@ tmpmap_insert$any tmpmap(itm), key: key, itm: itm): void // (* ****** ****** *) +(* ****** ****** *) +// +(* ****************************************** *) +(* ****************************************** *) (* end of [ATS3/XATSOPT_srcgen2_SATS_xstamp0.sats] *) diff --git a/srcgen2/SATS/xsymbol.sats b/srcgen2/SATS/xsymbol.sats index 48dc04817..b8b1960fc 100644 --- a/srcgen2/SATS/xsymbol.sats +++ b/srcgen2/SATS/xsymbol.sats @@ -268,7 +268,10 @@ fun symbl_extend_stamp (sym0: symbl, stmp: stamp): symbl // -(* ****** ****** *)(* ****** ****** *) -(* ****** ****** *)(* ****** ****** *) +(* ****** ****** *) +(* ****** ****** *) +// +(* ****************************************** *) +(* ****************************************** *) (* end of [ATS3/XATSOPT_srcgen2_SATS_xsymbol.sats] *) diff --git a/srcgen2/SATS/xsymenv.sats b/srcgen2/SATS/xsymenv.sats index 4cfbe5611..ce170610f 100644 --- a/srcgen2/SATS/xsymenv.sats +++ b/srcgen2/SATS/xsymenv.sats @@ -63,5 +63,9 @@ symenv_make_nil {itm:tbox}( (*void*) ) : symenv(itm) // (* ****** ****** *) +(* ****** ****** *) +// +(* ****************************************** *) +(* ****************************************** *) (* end of [ATS3/XATSOPT_srcgen2_SATS_xsymenv.sats] *) diff --git a/srcgen2/SATS/xsymmap.sats b/srcgen2/SATS/xsymmap.sats index 489cfbc57..265107e75 100644 --- a/srcgen2/SATS/xsymmap.sats +++ b/srcgen2/SATS/xsymmap.sats @@ -226,5 +226,9 @@ stkmap_insmix$kxs : list_vt@(key,itm), mix: (itm,itm)->itm): void // (* ****** ****** *) +(* ****** ****** *) +// +(* ****************************************** *) +(* ****************************************** *) (* end of [ATS3/XATSOPT_srcgen2_SATS_xsymmap.sats] *) diff --git a/srcgen2/SATS/xsynoug.sats b/srcgen2/SATS/xsynoug.sats index 3af37d2de..7a1f50de9 100644 --- a/srcgen2/SATS/xsynoug.sats +++ b/srcgen2/SATS/xsynoug.sats @@ -34,5 +34,9 @@ Authoremail: gmhwxiATgmailDOTcom *) // (* ****** ****** *) +(* ****** ****** *) +// +(* ****************************************** *) +(* ****************************************** *) (* end of [ATS3/XATSOPT_srcgen2_SATS_xsynoug.sats] *)