Updating: very very minorly

githwxi · Feb 8, 2025 · 5db87b7 · 5db87b7
1 parent 48d7d95
commit 5db87b7
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/srcgen2/HATS/xatsopt_dpre.hats b/srcgen2/HATS/xatsopt_dpre.hats
@@ -14,12 +14,15 @@ For ATS3/XATSOPT
 #include
 "srcgen1/prelude/DATS/gnum000.dats"
 (* ****** ****** *)
+//
 #include
 "srcgen1/prelude/DATS/gseq000.dats"
+//
 (*
 #include
 "srcgen1/prelude/DATS/gseqn00.dats"
 *)
+//
 (* ****** ****** *)
 #include
 "srcgen1/prelude/DATS/gmap000.dats"
@@ -46,12 +49,27 @@ For ATS3/XATSOPT
 "srcgen1/prelude/DATS/gflt000.dats"
 (* ****** ****** *)
 #include
+"srcgen1/prelude/DATS/strn000.dats"
+(* ****** ****** *)
+#include
 "srcgen1/prelude/DATS/list000.dats"
 #include
 "srcgen1/prelude/DATS/optn000.dats"
 #include
 "srcgen1/prelude/DATS/strm000.dats"
 (* ****** ****** *)
+(* ****** ****** *)
+#staload
+"srcgen1/prelude/DATS/synoug0.dats"
+(* ****** ****** *)
+(* ****** ****** *)
+#staload
+"srcgen1/prelude/DATS/unsafex.dats"
+(* ****** ****** *)
+(* ****** ****** *)
+#include
+"srcgen1/prelude/DATS/VT/gseq000_vt.dats"
+(* ****** ****** *)
 #include
 "srcgen1/prelude/DATS/VT/list000_vt.dats"
 #include

diff --git a/srcgen2/xats2js/srcgen1/xshared/runtime/xats2js_js1emit.js b/srcgen2/xats2js/srcgen1/xshared/runtime/xats2js_js1emit.js
@@ -16,6 +16,8 @@ let XATSTOP0 = undefined
 //
 ////////////////////////////////////////////////////////////////////////.
 //
+let XATSINT0 = (i0) => i0
+//
 let XATSINT1 = (i0) => i0
 let XATSBOOL = (b0) => b0
 let XATSFLT1 = (f0) => f0