1 files changed, 3 insertions, 0 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 5676cd9c..c6ca61c9 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -55,6 +55,9 @@ fun doArgs args =
       | "-debug" :: rest =>
         (Settings.setDebug true;
          doArgs rest)
+      | "-verbose" :: rest =>
+        (Compiler.debug := true;
+         doArgs rest)
       | "-timing" :: rest =>
         (timing := true;
          doArgs rest)