[MLton-commit] r7120

[Matthew Fluet]

Remove deprecated command line switch -show-anns.
----------------------------------------------------------------------

U   mlton/trunk/doc/changelog
U   mlton/trunk/mlton/main/main.fun

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

Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog	2009-06-11 03:23:16 UTC (rev 7119)
+++ mlton/trunk/doc/changelog	2009-06-11 03:23:18 UTC (rev 7120)
@@ -43,6 +43,9 @@
    o ml-yacc
     * Include (*#line line:col "file.grm" *) directives in output.
 
+* 2009-06-09
+   - Removed deprecated command line switch -show-anns {false, true}.
+
 * 2009-04-18
    - Removed command line switches -keep sml and -stop sml.  Their
      meaning was unclear with .mlb files; their effect with .cm files

Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun	2009-06-11 03:23:16 UTC (rev 7119)
+++ mlton/trunk/mlton/main/main.fun	2009-06-11 03:23:18 UTC (rev 7120)
@@ -689,13 +689,6 @@
                           "anns" => Show.Anns
                         | "path-map" => Show.PathMap
                         | _ => usage (concat ["invalid -show arg: ", s])))),
-       (Expert, "show-anns", " {false|true}", "deprecated (use -show anns)",
-        Bool
-        (fn b =>
-         (if b then show := SOME Show.Anns else ()
-          ; Out.output
-            (Out.error,
-             "Warning: deprecated option: -show-anns.  Use -show anns.\n")))),
        (Normal, "show-basis", " <file>", "write out the final basis environment",
         SpaceString (fn s => showBasis := SOME s)),
        (Normal, "show-def-use", " <file>", "write def-use information",