changeset 1178:6373a0432338

-verbose
author Adam Chlipala <adamc@hcoop.net>
date Thu, 04 Mar 2010 14:20:26 -0500
parents 26fed2c4f5be
children c58453683bbb
files src/main.mlton.sml
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
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)