[MLton-commit] r5852

[Matthew Fluet]

Drop MLB annotations deprecated in last release
----------------------------------------------------------------------

U   mlton/trunk/mlton/control/control-flags.sml

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

Modified: mlton/trunk/mlton/control/control-flags.sml
===================================================================
--- mlton/trunk/mlton/control/control-flags.sml	2007-08-13 00:30:19 UTC (rev 5851)
+++ mlton/trunk/mlton/control/control-flags.sml	2007-08-13 01:50:02 UTC (rev 5852)
@@ -530,25 +530,9 @@
                                              | _ => NONE}, 
                                ac)
             end
+         val _ = makeDeprecatedBool
       in
          val ac = {parseId = parseId, parseIdAndArgs = parseIdAndArgs}
-
-         val ac =
-            makeDeprecatedBool ({altIds = ["allowFFI"],
-                                 altArgs = fn b => [[Bool.toString b]],
-                                 name = "allowExport"}, ac)
-         val ac =
-            makeDeprecatedBool ({altIds = ["allowFFI"],
-                                 altArgs = fn b => [[Bool.toString b]],
-                                 name = "allowImport"}, ac)
-         val ac =
-            makeDeprecatedBool ({altIds = ["sequenceNonUnit"],
-                                 altArgs = fn true => [["warn"]] | false => [["ignore"]],
-                                 name = "sequenceUnit"}, ac)
-         val ac =
-            makeDeprecatedBool ({altIds = ["nonexhaustiveMatch", "redundantMatch"],
-                                 altArgs = fn true => [["warn"], ["warn"]] | false => [["ignore"], ["ignore"]],
-                                 name = "warnMatch"}, ac)
          val {parseId, parseIdAndArgs} = ac
       end