[MLton-commit] r6249

[Vesa Karvonen]

Added TextIO.prints for convenience.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/io/text-io.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/io/text-io.sig

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/io/text-io.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/io/text-io.sml	2007-12-09 19:56:15 UTC (rev 6248)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/io/text-io.sml	2007-12-09 20:03:08 UTC (rev 6249)
@@ -10,6 +10,9 @@
    fun println s =
        (output (stdOut, s) ; output1 (stdOut, #"\n") ; flushOut stdOut)
 
+   fun prints ss =
+       (app (fn s => output (stdOut, s)) ss ; flushOut stdOut)
+
    fun readFile file =
        case openIn file
         of s => Exn.after (fn () => inputAll s, fn () => closeIn s)

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/io/text-io.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/io/text-io.sig	2007-12-09 19:56:15 UTC (rev 6248)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/io/text-io.sig	2007-12-09 20:03:08 UTC (rev 6249)
@@ -19,6 +19,9 @@
     *> (output (stdOut, s) ; output1 (stdOut, #"\n") ; flushOut stdOut)
     *)
 
+   val prints : String.t List.t Effect.t
+   (** {prints = print o concat} *)
+
    val readFile : String.t -> vector
    (** Reads all data from the specified file. *)