Updating: very very minorly

srcgen2/xats2js/srcgen1/DATS/js1emit_decl00.dats

@@ -246,6 +246,7 @@ let
 g_print$out<>() = filr
 //
 in//let
+//
 nindfpr(filr, nind);
 prints
 ("// I1Dextern(",loc0,")\n")

srcgen2/xats2js/srcgen1/DATS/js1emit_dynexp.dats

@@ -1308,16 +1308,18 @@ dopt = t1imp_i1dclq(timp)
 in//let
 //
 case+ dopt of
-|
-optn_nil
+//
+|optn_nil
 ((*void*)) =>
 (
 d2cst_fprint
 (filr, dcst)) where
-{ val () =
-  strnfpr(filr, "undefined // timp: ")}
-|
-optn_cons
+{
+val () =
+strnfpr
+(filr, "XATS000_undef() // timp: ") }
+//
+|optn_cons
 (  idcl  ) =>
 (
 case+

srcgen2/xats2py/srcgen1/DATS/py1emit_decl00.dats

@@ -233,14 +233,16 @@ let
 g_print$out<>() = filr
 //
 in//let
+//
 nindfpr(filr, nind);
 prints
 ("## I1Dextern(",loc0,")\n")
 end//let
 //
 val (  ) =
 (
-  xats2js_i1dcl( env0, dcl1 ))
+nindstrnfpr(filr, nind, "## ");
+i1dcl_fprint(filr, dcl1); fprintln(filr))
 //
 end(*let*)//end-of-[f0_extern(env0,dcl0)]
 //
@@ -578,15 +580,14 @@ else
 (
 //
 (
-nindstrnfpr
-(filr, nind, "let ");dicstfpr(filr, dimp);
+nindfpr(filr, nind);dicstfpr(filr, dimp);
 strnfpr(filr," = function ");fjas1py1(filr, fjas));
 (
-strnfpr(filr," { // impl\n");
+strnfpr(filr," ## impl\n");
 (envx2js_incnind(env0,2(*++*))
 ;py1emit_fjarglst(env0, fjas);f1_i1cmpret(env0, icmp));
 (envx2js_decnind(env0,2(*--*))
-;nindstrnfpr(filr, nind, "} // endfun(impl)");fprintln(filr)))
+;nindstrnfpr(filr, nind, "## endfun(impl)");fprintln(filr)))
 //
 )//endif
 //
@@ -611,13 +612,11 @@ val nind = envx2js_get_nind(env0)
 //
 in//let
 //
-nindfpr(filr, nind);
-strnfpr(filr, "## ");
-loctn_fprint
-(filr, loc0); fprintln(filr);
-nindfpr(filr, nind);
-strnfpr(filr, "## ");
-i1dcl_fprint(filr, dcl0); fprintln(filr)
+(
+nindstrnfpr
+(filr, nind, "## ");loctn_fprint(filr, loc0);fprintln(filr);
+nindstrnfpr
+(filr, nind, "## ");i1dcl_fprint(filr, dcl0);fprintln(filr))
 //
 end(*let*)//end-of-[f0_otherwise(env0,dcl0)]
 //