Updating: very very minorly

githwxi · Jan 1, 2025 · dca7afa · dca7afa
1 parent 4d24768
commit dca7afa
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/srcgen2/xats2py/srcgen1/DATS/py1emit_dynexp.dats b/srcgen2/xats2py/srcgen1/DATS/py1emit_dynexp.dats
@@ -224,6 +224,21 @@ in//let
 case+
 ival.node() of
 //
+(* ****** ****** *)
+(* ****** ****** *)
+|I1Vnil
+((*0*)) => prints("[", "]")
+(* ****** ****** *)
+(* ****** ****** *)
+|I1Vint
+( tint ) => i0intpy1(filr,tint)
+(* ****** ****** *)
+(* ****** ****** *)
+|I1Vtnm
+( itnm ) => i1tnmpy1(filr,itnm)
+(* ****** ****** *)
+(* ****** ****** *)
+//
 |
 _(*otherwise*) => i1val_fprint(filr,ival)
 //