[MLton-commit] r4885

[Vesa K. <ve...@ml...>]

Added pass.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn.sml	2006-11-30 14:02:25 UTC (rev 4884)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn.sml	2006-11-30 15:48:32 UTC (rev 4885)
@@ -14,6 +14,7 @@
    fun id x = x
    fun uncurry f (x, y) = f x y
    val op o = op o
+   fun pass x f = f x
    fun undefined _ = raise Fail "undefined"
    fun op <\ (x, f) y = f (x, y)
    fun op \> (f, y) = f y

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig	2006-11-30 14:02:25 UTC (rev 4884)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig	2006-11-30 15:48:32 UTC (rev 4885)
@@ -36,6 +36,9 @@
    val o : ('a -> 'b) * ('c -> 'a) -> 'c -> 'b
    (** Function composition ({(g o f) x = f (g x)}). *)
 
+   val pass : 'a -> ('a -> 'b) -> 'b
+   (** Pass to continuation ({pass x f = f x}). *)
+
    val undefined : 'a -> 'b
    (**
     * An undefined function.  This is equivalent to {failing (Fail