src/Tools/Metis/src/Stream.sml

--- a/src/Tools/Metis/src/Stream.sml	Tue Nov 13 17:04:16 2007 +0100
+++ b/src/Tools/Metis/src/Stream.sml	Tue Nov 13 18:29:28 2007 +0100
@@ -171,6 +171,10 @@
 fun fromList [] = NIL
   | fromList (x :: xs) = CONS (x, fn () => fromList xs);
 
+fun toString s = implode (toList s);
+
+fun fromString s = fromList (explode s);
+
 fun toTextFile {filename = f} s =
     let
       val (h,close) =