[MLton-commit] r6483

[Vesa Karvonen]

Using type abbreviation.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/exit.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/exit.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/exit.sig	2008-03-15 19:55:25 UTC (rev 6482)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/exit.sig	2008-03-15 20:04:25 UTC (rev 6483)
@@ -17,7 +17,7 @@
    type 'a t
    (** The type of exits. *)
 
-   val within : ('a t -> 'a) -> 'a
+   val within : ('a t, 'a) CPS.t
    (**
     * Sets up an exit and passes it to the given function.  The function
     * may then return normally or by calling {to} with the exit and a
@@ -48,7 +48,7 @@
     * be called from a context of any type.
     *)
 
-   val call : (('a -> 'b) -> 'a) -> 'a
+   val call : ('a -> 'b, 'a) CPS.t
    (**
     * Simpler, but less flexibly typed, interface to {within} and {to}.
     * Specifically, {call f} is equivalent to {within (f o to)}.