[MLton-commit] r5380

Vesa Karvonen vesak at mlton.org
Thu Mar 1 22:57:46 PST 2007


Tweaked comment.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/void.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/void.sig	2007-03-02 00:18:06 UTC (rev 5379)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/void.sig	2007-03-02 06:57:39 UTC (rev 5380)
@@ -46,7 +46,8 @@
    val void : t -> 'a
    (**
     * This function can never be called, because there is no way to create
-    * values of type {t}.  However, you can use {void} to call a function
-    * whose range is of type {t} from a context of any type.
+    * values of type {Void.t}.  However, you can use {void} to call a
+    * function {f : d -> Void.t} from a context of any type by writing
+    * {void (f x)}.
     *)
 end




More information about the MLton-commit mailing list