Updating: very very minorly

srcgen1/xatslib/libcats/SATS/synoug0.sats

@@ -162,9 +162,8 @@ gs_prout_n10
 (* ****** ****** *)
 //
 #symload prout with gs_prout_n1
-(*
+//
 #symload prouts with gs_prout_n1
-*)
 #symload prouts with gs_prout_n2
 #symload prouts with gs_prout_n3
 #symload prouts with gs_prout_n4
@@ -291,9 +290,8 @@ gs_prout0_n10
 (* ****** ****** *)
 //
 #symload prout0 with gs_prout0_n1
-(*
+//
 #symload prout0s with gs_prout0_n1
-*)
 #symload prout0s with gs_prout0_n2
 #symload prout0s with gs_prout0_n3
 #symload prout0s with gs_prout0_n4
@@ -420,9 +418,8 @@ gs_prout1_n10
 (* ****** ****** *)
 //
 #symload prout1 with gs_prout1_n1
-(*
+//
 #symload prout1s with gs_prout1_n1
-*)
 #symload prout1s with gs_prout1_n2
 #symload prout1s with gs_prout1_n3
 #symload prout1s with gs_prout1_n4
@@ -551,9 +548,8 @@ gs_prerr_n10
 (* ****** ****** *)
 //
 #symload prerr with gs_prerr_n1
-(*
+//
 #symload prerrs with gs_prerr_n1
-*)
 #symload prerrs with gs_prerr_n2
 #symload prerrs with gs_prerr_n3
 #symload prerrs with gs_prerr_n4
@@ -682,9 +678,8 @@ gs_prerr0_n10
 (* ****** ****** *)
 //
 #symload prerr0 with gs_prerr0_n1
-(*
+//
 #symload prerr0s with gs_prerr0_n1
-*)
 #symload prerr0s with gs_prerr0_n2
 #symload prerr0s with gs_prerr0_n3
 #symload prerr0s with gs_prerr0_n4
@@ -811,9 +806,8 @@ gs_prerr1_n10
 (* ****** ****** *)
 //
 #symload prerr1 with gs_prerr1_n1
-(*
-#symload prerr1 with gs_prerr1_n1
-*)
+//
+#symload prerr1s with gs_prerr1_n1
 #symload prerr1s with gs_prerr1_n2
 #symload prerr1s with gs_prerr1_n3
 #symload prerr1s with gs_prerr1_n4
@@ -947,9 +941,7 @@ gs_proutln_n10
 #symload proutln with gs_proutln_n1
 //
 #symload proutsln with gs_proutln_n0
-(*
 #symload proutsln with gs_proutln_n1
-*)
 #symload proutsln with gs_proutln_n2
 #symload proutsln with gs_proutln_n3
 #symload proutsln with gs_proutln_n4
@@ -1077,9 +1069,7 @@ gs_prout0ln_n10
 #symload prout0ln with gs_prout0ln_n1
 //
 #symload prout0sln with gs_prout0ln_n0
-(*
 #symload prout0sln with gs_prout0ln_n1
-*)
 #symload prout0sln with gs_prout0ln_n2
 #symload prout0sln with gs_prout0ln_n3
 #symload prout0sln with gs_prout0ln_n4
@@ -1206,10 +1196,9 @@ gs_prout1ln_n10
 (* ****** ****** *)
 //
 #symload prout1ln with gs_prout1ln_n1
+//
 #symload prout1sln with gs_prout1ln_n0
-(*
 #symload prout1sln with gs_prout1ln_n1
-*)
 #symload prout1sln with gs_prout1ln_n2
 #symload prout1sln with gs_prout1ln_n3
 #symload prout1sln with gs_prout1ln_n4
@@ -1342,9 +1331,7 @@ gs_prerrln_n10
 //
 #symload prerrln with gs_prerrln_n1
 #symload prerrsln with gs_prerrln_n0
-(*
 #symload prerrsln with gs_prerrln_n1
-*)
 #symload prerrsln with gs_prerrln_n2
 #symload prerrsln with gs_prerrln_n3
 #symload prerrsln with gs_prerrln_n4
@@ -1471,9 +1458,7 @@ gs_prerr0ln_n10
 //
 #symload prerr0ln with gs_prerr0ln_n1
 #symload prerr0sln with gs_prerr0ln_n0
-(*
 #symload prerr0sln with gs_prerr0ln_n1
-*)
 #symload prerr0sln with gs_prerr0ln_n2
 #symload prerr0sln with gs_prerr0ln_n3
 #symload prerr0sln with gs_prerr0ln_n4
@@ -1601,9 +1586,7 @@ gs_prerr1ln_n10
 //
 #symload prerr1ln with gs_prerr1ln_n1
 #symload prerr1sln with gs_prerr1ln_n0
-(*
 #symload prerr1sln with gs_prerr1ln_n1
-*)
 #symload prerr1sln with gs_prerr1ln_n2
 #symload prerr1sln with gs_prerr1ln_n3
 #symload prerr1sln with gs_prerr1ln_n4

srcgen2/DATS/trans34_myenv0.dats

@@ -267,7 +267,7 @@ loop
 {
 //
 val () =
-prerrsln
+prerr1sln
 ("linstk_lamvars:loop: stk0 = ", stk0)
 //
 }(*where*)
@@ -334,7 +334,7 @@ loop
 {
 //
 val () =
-prerrsln
+prerr1sln
 ("linstk_letvars:loop: stk0 = ", stk0)
 //
 }(*where*)
@@ -647,7 +647,7 @@ val
 end where
 {
 val () =
-prerrsln
+prerr1sln
 ("linstk_popift0:loop: stk0 = ", stk0)
 }(*where*) // end of [linstk_popift0(stk)]
 //
@@ -716,7 +716,7 @@ val
 end where
 {
 val () =
-prerrsln
+prerr1sln
 ("linstk_popift0:loop: stk0 = ", stk0)
 } (*where*) // end of [linstk_popcas0(stk)]
 //
@@ -795,7 +795,9 @@ end where
 {
 //
 val () =
-prerrsln("linstk_getlam0: stk0 = ", stk0)
+(
+  prerr1sln
+  ("linstk_getlam0: stk0 = ", stk0) )
 //
 }(*where*) // end of [linstk_getlam0(stk)]
 //
@@ -873,7 +875,9 @@ end where
 {
 //
 val () =
-prerrsln("linstk_getlet0: stk0 = ", stk0)
+(
+  prerr1sln
+  ("linstk_getlet0: stk0 = ", stk0) )
 //
 }(*where*) // end of [linstk_getlet0(stk)]
 //
@@ -951,7 +955,9 @@ end where
 {
 //
 val () =
-prerrsln("linstk_getift0: stk0 = ", stk0)
+(
+  prerr1sln
+  ("linstk_getift0: stk0 = ", stk0) )
 //
 }(*where*) // end of [linstk_getlet0(stk)]
 //
@@ -1029,7 +1035,9 @@ end where
 {
 //
 val () =
-prerrsln("linstk_getcas0: stk0 = ", stk0)
+(
+  prerr1sln
+  ("linstk_getcas0: stk0 = ", stk0) )
 //
 }(*where*) // end of [linstk_getcas0(stk)]
 //
@@ -1851,7 +1859,8 @@ end(*let*)//end-of-[f0_annot(env0,dpat)]
 (* ****** ****** *)
 //
 val () =
-prerrsln("tr34env_insert_dpat: dpat = ", dpat)
+(
+prerrsln("tr34env_insert_dpat: dpat = ", dpat))
 //
 (* ****** ****** *)
 //
@@ -1875,7 +1884,8 @@ tr34env_insert_dpat(env0, dpat)
 {
 //
 val () =
-prerrsln("tr34env_insert_dgpt: dgpt = ", dgpt)
+(
+prerrsln("tr34env_insert_dgpt: dgpt = ", dgpt))
 //
 }(*where*)//end-of-[tr34env_insert_dgpt(env0,dgpt)]
 //
@@ -1896,7 +1906,8 @@ tr34env_insert_dpatlst(env0, d4ps)
 {
 //
 val () =
-prerrsln("tr34env_insert_farg: farg = ", farg)
+(
+prerrsln("tr34env_insert_farg: farg = ", farg))
 //
 }(*where*)//end-of-[tr34env_insert_farg(env0,farg)]
 //
@@ -1987,7 +1998,8 @@ end(*let*) // end-of-[list_cons(...)]
 )(*case+*) // end-of-[auxmain(env0,dvts)]
 //
 val () =
-prerrsln("tr34env_d2vtck_dvts: dvts = ", dvts)
+(
+prerrsln("tr34env_d2vtck_dvts: dvts = ", dvts))
 //
 }(*where*)//end of [tr34env_d2vtck_dvts(env0,dvts)]
 

srcgen2/xats2js/srcgen1/DATS/intrep0.dats

@@ -663,7 +663,7 @@ I0PARSED
 //
 (*
 val () =
-prerrln
+prerrsln
 ("i0parsed_make_args:nerror=",nerror)
 *)
 //

srcgen2/xats2js/srcgen1/DATS/intrep1.dats

@@ -758,7 +758,7 @@ I1PARSED
 //
 (*
 val () =
-prerrln
+prerrsln
 ("i1parsed_make_args:nerror=",nerror)
 *)
 //

srcgen2/xats2js/srcgen1/DATS/intrep1_utils0.dats

@@ -168,7 +168,7 @@ case+ fjas of
 //
 (*
 val () =
-prerrln("t1imp_i1cmpq: timp = ", timp)
+prerrsln("t1imp_i1cmpq: timp = ", timp)
 *)
 //
 }(*where*)//end-of-[t1imp_i1cmpq( timp )]
@@ -219,7 +219,7 @@ idcl.node() of
 //
 (*
 val () =
-prerrln("t1imp_i1dclq: timp = ", timp)
+prerrsln("t1imp_i1dclq: timp = ", timp)
 *)
 //
 }(*where*)//end-of-[t1imp_i1dclq( timp )]

srcgen2/xats2js/srcgen1/DATS/js1emit_decl00.dats

@@ -157,7 +157,7 @@ let
 (*
 //
 val () =
-prerrln
+prerrsln
 ("js1emit_i1dcl: dcl0 = ", dcl0))
 //
 *)

srcgen2/xats2js/srcgen1/DATS/js1emit_dynexp.dats

@@ -775,7 +775,7 @@ let
 //
 (*
 val () =
-prerrln
+prerrsln
 ("i1valjs1: ival = ", ival)
 *)
 //
@@ -970,7 +970,7 @@ let
 //
 (*
 val () =
-prerrln
+prerrsln
 ("i1insjs1: iins = ", iins)
 *)
 //
@@ -1105,7 +1105,7 @@ let
 //
 (*
 val () =
-prerrln
+prerrsln
 ("i1cmpjs1: icmp = ", icmp)
 *)
 //
@@ -1400,13 +1400,13 @@ end where
 //
 (*
 val () =
-( prerrln
+( prerrsln
   ("f0_i1tnmvalcls: itnm = ", itnm))
 val () =
-( prerrln
+( prerrsln
   ("f0_i1tnmvalcls: ival = ", ival))
 val () =
-( prerrln
+( prerrsln
   ("f0_i1tnmvalcls: icl0 = ", icl0))
 *)
 //