Mercurial > urweb

diff src/main.mlton.sml @ 1531:7efcf8f4a44a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'-dumpTypes'
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Aug 2011 16:53:06 -0400
parents b5517f47b1f1
children 659a2f71f5e5
line wrap: on
line diff
--- a/src/main.mlton.sml	Sun Aug 07 13:47:15 2011 -0400
+++ b/src/main.mlton.sml	Sun Aug 07 16:53:06 2011 -0400
@@ -80,6 +80,9 @@
       | "-tc" :: rest =>
         (tc := true;
          doArgs rest)
+      | "-dumpTypes" :: rest =>
+        (Elaborate.dumpTypes := true;
+         doArgs rest)
       | "-output" :: s :: rest =>
         (Settings.setExe (SOME s);
          doArgs rest)