[MLton-commit] r6156

[Vesa Karvonen]

Eliminated unnecessary type abbreviations, which also happens to be an
effective workaround for a bug in Poly/ML.

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

U   mltonlib/trunk/com/ssh/random/unstable/detail/mk-random-gen.fun

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

Modified: mltonlib/trunk/com/ssh/random/unstable/detail/mk-random-gen.fun
===================================================================
--- mltonlib/trunk/com/ssh/random/unstable/detail/mk-random-gen.fun	2007-11-10 13:26:43 UTC (rev 6155)
+++ mltonlib/trunk/com/ssh/random/unstable/detail/mk-random-gen.fun	2007-11-10 13:27:51 UTC (rev 6156)
@@ -20,8 +20,7 @@
 
    structure RNG = RNG
 
-   type 'a dom = Int.t * RNG.t and 'a cod = 'a
-   type 'a t = 'a dom -> 'a cod
+   type 'a t = Int.t * RNG.t -> 'a
 
    fun generate n t =
        pass (W.toInt (RNG.value t mod W.fromInt n), RNG.next t)