Updating: very very minorly

githwxi · Sep 6, 2024 · 5a9bc7e · 5a9bc7e
1 parent 00ba672
commit 5a9bc7e
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 1 deletion.
diff --git a/xatslib/githwxi/DATS/mycsv00.dats b/xatslib/githwxi/DATS/mycsv00.dats
@@ -9,10 +9,16 @@ Some simple stuff for CSV-handling
 (* ****** ****** *)
 //
 fun<>
-mycsv00_line$parse_opt
+mycsv00_csv$parse_opt
   (line: strn): optn_vt(arrsz(strn))
 //
 (* ****** ****** *)
+//
+fun<>
+mycsv00$file_csv$$parse_opt
+  (file: strn): optn_vt(list_vt(arrsz(strn)))
+//
+(* ****** ****** *)
 (* ****** ****** *)
 //
 (* ****** ****** *)(* ****** ****** *)(* ****** ****** *)

diff --git a/xatslib/githwxi/DATS/myfil00.dats b/xatslib/githwxi/DATS/myfil00.dats
@@ -0,0 +1,21 @@
+(* ****** ****** *)
+(* ****** ****** *)
+(*
+HX-2024-09-05:
+Thu 05 Sep 2024 11:44:03 PM EDT
+Some simple stuff for handling files
+*)
+(* ****** ****** *)
+(* ****** ****** *)
+//
+fun<>
+myfil00$file_line$strmize
+  (file: strn): strm_vt(strn)
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
+(* ****** ****** *)(* ****** ****** *)(* ****** ****** *)
+
+(* end of [ATS3/XANADU_xatslib_githwxi_DATS_myfil00.dats] *)