[MLton-commit] r6528

[Vesa Karvonen]

More descriptive type for iterators.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/control/iter.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/control/iter.sml	2008-04-04 21:43:57 UTC (rev 6527)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/control/iter.sml	2008-04-05 20:06:42 UTC (rev 6528)
@@ -10,7 +10,7 @@
    infix 1 <|>
    infix 0 >>= &
 
-   type 'a t = ('a, Unit.t) CPS.t
+   type 'a t = 'a Effect.t Effect.t
 
    structure Monad =
       MkMonadP (type 'a monad = 'a t

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/iter.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/iter.sig	2008-04-04 21:43:57 UTC (rev 6527)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/iter.sig	2008-04-05 20:06:42 UTC (rev 6528)
@@ -6,7 +6,7 @@
 
 (** Signature for iterator or loop combinators. *)
 signature ITER = sig
-   type 'a t = ('a, Unit.t) CPS.t
+   type 'a t = 'a Effect.t Effect.t
    (** The type of iterator functions. *)
 
    (** == Running Iterators == *)
@@ -52,7 +52,7 @@
     *>    fold f (f (x(0), s)) [<x(1), ..., x(n)>]
     *)
 
-   val for : 'a t -> ('a, Unit.t) CPS.t
+   val for : 'a t -> 'a Effect.t Effect.t
    (**
     *> for [<>]                f = ()
     *> for [<x(0), x(1), ...>] f = (f x(0) ; for [<x(1), ...>] f)