[MLton-commit] r4914

[Vesa Karvonen]

Renamed the conversion function thunk to toThunk for consistency.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/promise.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/promise.sml	2006-12-10 07:48:08 UTC (rev 4913)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/promise.sml	2006-12-10 07:51:30 UTC (rev 4914)
@@ -28,7 +28,7 @@
            | EAGER x => replay x
        end
 
-   fun thunk promise =
+   fun toThunk promise =
        case !(!promise) of
           EAGER s => Sum.sum (Fn.failing, Fn.const) s
         | LAZY _ => fn () => force promise

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/promise.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/promise.sig	2006-12-10 07:48:08 UTC (rev 4913)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/promise.sig	2006-12-10 07:51:30 UTC (rev 4914)
@@ -7,11 +7,10 @@
 (**
  * Lazy promises.
  *
- * The design is based on SRFI-45 ``Primitives for Expressing Iterative Lazy
- * Algorithms'' by André van Tonder:
+ * The design is based on [http://srfi.schemers.org/srfi-45/ SRFI-45]
+ * ``Primitives for Expressing Iterative Lazy Algorithms'' by André van
+ * Tonder.
  *
- *   http://srfi.schemers.org/srfi-45/srfi-45.html
- *
  * The general recipe to express lazy algorithms is to
  * - wrap all constructors with {delay (fn () => ...)},
  * - apply {force} to arguments of destructors, and
@@ -69,7 +68,7 @@
     * deliver the resulting promise.
     *)
 
-   val thunk : 'a t -> 'a Thunk.t
+   val toThunk : 'a t -> 'a Thunk.t
    (**
     * Converts a promise into a thunk.  This can be useful for working
     * around the value restriction, for example.