[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