[MLton-commit] r5391

Vesa Karvonen vesak at mlton.org
Mon Mar 5 04:33:58 PST 2007


Use qualified type names.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/effect.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/effect.sig	2007-03-05 07:25:16 UTC (rev 5390)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/effect.sig	2007-03-05 12:33:58 UTC (rev 5391)
@@ -6,13 +6,13 @@
 
 (** Utilities for dealing with side-effecting procedures. *)
 signature EFFECT = sig
-   type 'a t = 'a -> unit
+   type 'a t = 'a -> Unit.t
    (** Type of side-effecting procedures. *)
 
    val ignore : 'a t
    (** No-operation ({ignore = fn _ => ()}). *)
 
-   val nop : unit t
+   val nop : Unit.t t
    (** No-operation ({nop = fn () => ()}). *)
 
    val obs : 'a t -> 'a UnOp.t
@@ -23,7 +23,7 @@
     * observed by the effect.
     *)
 
-   val past : unit t -> 'a UnOp.t
+   val past : Unit.t t -> 'a UnOp.t
    (**
     * Side-effecting I-combinator ({past ef x = (ef () ; x)}).  Using
     * {past} and {o} you can "attach" side-effects to a function.  The




More information about the MLton-commit mailing list