[MLton-commit] r7229

[Matthew Fluet]

Explicit type constraint to appease SML/NJ.
----------------------------------------------------------------------

U   mlton/trunk/mlton/ssa/combine-conversions.fun

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

Modified: mlton/trunk/mlton/ssa/combine-conversions.fun
===================================================================
--- mlton/trunk/mlton/ssa/combine-conversions.fun	2009-09-16 12:57:24 UTC (rev 7228)
+++ mlton/trunk/mlton/ssa/combine-conversions.fun	2009-09-17 15:34:19 UTC (rev 7229)
@@ -54,7 +54,11 @@
  *       because each conversion affects the result separately
  *)
 
-val { get, set, ... } =
+val { get : Var.t -> ((WordSize.t 
+                       * WordSize.t 
+                       * {signed:bool}) 
+                      * Var.t) option,
+      set, ... } =
    Property.getSetOnce (Var.plist, Property.initConst NONE)
 
 fun rules x3 (conversion as ((W2, W3, {signed=s2}), x2)) =