# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1267730426 18000
# Node ID 6373a04323385b372338982f57d62c1c52f0c05a
# Parent  26fed2c4f5be665e97b441eaf2e5b56fcd75adfc
-verbose

diff -r 26fed2c4f5be -r 6373a0432338 src/main.mlton.sml
--- 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)