[MLton-commit] r6190

[Matthew Fluet]

Simplify function
----------------------------------------------------------------------

U   mlton/trunk/mlton/ssa/deep-flatten.fun

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

Modified: mlton/trunk/mlton/ssa/deep-flatten.fun
===================================================================
--- mlton/trunk/mlton/ssa/deep-flatten.fun	2007-11-20 23:25:50 UTC (rev 6189)
+++ mlton/trunk/mlton/ssa/deep-flatten.fun	2007-11-20 23:26:43 UTC (rev 6190)
@@ -576,11 +576,7 @@
                         case elt of
                            Const _ => false
                          | Make _ => true)
-      fun makeProd p =
-         Prod.map (p, fn m =>
-                   case m of
-                      Const v => v
-                    | Make f => f ())
+      fun makeProd p = Prod.map (p, makeValue)
       val {get = makeTypeValue: Type.t -> Value.t make, ...} =
          Property.get
          (Type.plist,