[MLton-commit] r5683

[Matthew Fluet]

Unused variables, and bug in default case
----------------------------------------------------------------------

U   mlton/trunk/mlton/ssa/shrink.fun
U   mlton/trunk/mlton/ssa/shrink2.fun

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

Modified: mlton/trunk/mlton/ssa/shrink.fun
===================================================================
--- mlton/trunk/mlton/ssa/shrink.fun	2007-06-27 21:25:42 UTC (rev 5682)
+++ mlton/trunk/mlton/ssa/shrink.fun	2007-06-27 22:16:55 UTC (rev 5683)
@@ -711,7 +711,7 @@
          val traceSimplifyCase =
             Trace.trace
             ("Ssa2.Shrink2.simplifyCase",
-             fn {canMove, cantSimplify, cases, default, gone, test} =>
+             fn {canMove, cases, default, test, ...} =>
              Layout.record [("canMove", List.layout Statement.layout canMove),
                             ("cantSimplify", Layout.str "fn () => ..."),
                             ("gone", Layout.str "fn () => ..."),

Modified: mlton/trunk/mlton/ssa/shrink2.fun
===================================================================
--- mlton/trunk/mlton/ssa/shrink2.fun	2007-06-27 21:25:42 UTC (rev 5682)
+++ mlton/trunk/mlton/ssa/shrink2.fun	2007-06-27 22:16:55 UTC (rev 5683)
@@ -715,7 +715,7 @@
          val traceSimplifyCase =
             Trace.trace
             ("Ssa2.Shrink2.simplifyCase",
-             fn {canMove, cantSimplify, cases, default, gone, test} =>
+             fn {canMove, cases, default, test, ...} =>
              Layout.record [("canMove", List.layout Statement.layout canMove),
                             ("cantSimplify", Layout.str "fn () => ..."),
                             ("gone", Layout.str "fn () => ..."),
@@ -1012,7 +1012,7 @@
                                        then
                                           (case default of
                                               NONE => (gone (); ([], Bug))
-                                            | SOME j => doit (l, Vector.new0 ()))
+                                            | SOME l => doit (l, Vector.new0 ()))
                                     else
                                        let
                                           val (con, l) = Vector.sub (cases, k)