[MLton-commit] r6250

[Vesa Karvonen]

Added Basic.fails for convenience and exposed fails and prints at the top-level.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/basic.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/basic.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/basic.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/basic.sml	2007-12-09 20:03:08 UTC (rev 6249)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/basic.sml	2007-12-09 20:04:27 UTC (rev 6250)
@@ -8,6 +8,7 @@
    fun eq x y = x = y
    fun notEq x y = x <> y
    fun fail m = raise Fail m
+   fun fails ms = fail (concat ms)
    fun failing m _ = fail m
    fun raising e _ = raise e
    fun recur x = Fn.flip Fn.fix x

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/basic.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/basic.sig	2007-12-09 20:03:08 UTC (rev 6249)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/basic.sig	2007-12-09 20:04:27 UTC (rev 6250)
@@ -15,6 +15,9 @@
    val fail : String.t -> 'a
    (** {fail m} is equivalent to {raise Fail m}. *)
 
+   val fails : String.t List.t -> 'a
+   (** {fails ms} is equivalent to {fail (concat ms)}. *)
+
    val failing : String.t -> 'a -> 'b
    (** A failing function; {failing m} is equivalent to {raising (Fail m)}. *)
 

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2007-12-09 20:03:08 UTC (rev 6249)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2007-12-09 20:04:27 UTC (rev 6250)
@@ -17,6 +17,7 @@
    val eq = Basic.eq
    val notEq = Basic.notEq
    val fail = Basic.fail
+   val fails = Basic.fails
    val failing = Basic.failing
    val raising = Basic.raising
    val recur = Basic.recur
@@ -83,6 +84,7 @@
    (** == TextIO == *)
 
    val println = TextIO.println
+   val prints = TextIO.prints
 
    (** == UnPr == *)