Mercurial > urweb

diff src/main.mlton.sml @ 1178:6373a0432338

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-verbose
author Adam Chlipala <adamc@hcoop.net>
date Thu, 04 Mar 2010 14:20:26 -0500
parents 52c6ac6a59f1
children a7b773f1d053
line wrap: on
line diff
--- a/src/main.mlton.sml	Thu Mar 04 13:47:16 2010 -0500
+++ b/src/main.mlton.sml	Thu Mar 04 14:20:26 2010 -0500
@@ -55,6 +55,9 @@
       | "-debug" :: rest =>
         (Settings.setDebug true;
          doArgs rest)
+      | "-verbose" :: rest =>
+        (Compiler.debug := true;
+         doArgs rest)
       | "-timing" :: rest =>
         (timing := true;
          doArgs rest)