X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6e62228d09c5067f798b356b88b0c53190f75729..7db53a0b3693ddd01e6a36fc5bfb4ba56b4656eb:/src/slave.sml?ds=sidebyside

diff --git a/src/slave.sml b/src/slave.sml
index fb336ae..b0148f1 100644
--- a/src/slave.sml
+++ b/src/slave.sml
@@ -154,4 +154,26 @@ fun enumerateTo p sep fname =
 	TextIO.closeOut outf
     end
 
+fun readList fname =
+    let
+	val inf = TextIO.openIn fname
+
+	fun loop acc =
+	    case TextIO.inputLine inf of
+		NONE => rev acc
+	      | SOME line => loop (String.substring (line, 0, size line - 1) :: acc)
+    in
+	loop []
+	before TextIO.closeIn inf
+    end
+
+fun writeList (fname, ls) =
+    let
+	val outf = TextIO.openOut fname
+    in
+	app (fn s => (TextIO.output (outf, s);
+		      TextIO.output1 (outf, #"\n"))) ls;
+	TextIO.closeOut outf
+    end
+
 end