[MLton-commit] r6422

[Vesa Karvonen]

Made the Void.t type degenerate.  Now, even if the would be left concrete,
it would still be impossible to generate values of the type.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2008-02-29 16:52:38 UTC (rev 6421)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml	2008-02-29 16:55:50 UTC (rev 6422)
@@ -6,7 +6,7 @@
 
 (* Minimal modules for bootstrapping. *)
 
-structure Void = struct abstype t = T with fun void T = void T end end
+structure Void = struct abstype t = T of t with fun void t = void t end end
 structure Exn = struct type t = exn end
 structure Fn = struct type ('a, 'b) t = 'a -> 'b end
 structure Unit = struct type t = unit fun compare ((), ()) = EQUAL end