[MLton-commit] r5331

[Vesa Karvonen]

Simplification.

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

U   mltonlib/trunk/com/ssh/misc-util/unstable/arbitrary.sml

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

Modified: mltonlib/trunk/com/ssh/misc-util/unstable/arbitrary.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/arbitrary.sml	2007-02-26 08:55:20 UTC (rev 5330)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/arbitrary.sml	2007-02-26 09:03:24 UTC (rev 5331)
@@ -84,7 +84,7 @@
 
    fun (IN {gen = aGen, cog = aCog, typ = aTyp, ...}) *`
        (IN {gen = bGen, cog = bCog, typ = bTyp, ...}) =
-       IN {gen = aGen >>= (fn a => bGen >>= (fn b => G.return (a & b))),
+       IN {gen = G.>>& (aGen, bGen),
            cog = fn n => fn a & b => aCog n a o G.split 0w643 o bCog n b,
            typ = Typ.*` (aTyp, bTyp)}