From e75a028e3ced5d05be1baa05c6fb1a83b277a45f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 7 Aug 2011 16:53:06 -0400
Subject: '-dumpTypes'

---
 src/main.mlton.sml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/main.mlton.sml')

diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index c26a9d10..debbce15 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -80,6 +80,9 @@ fun doArgs args =
       | "-tc" :: rest =>
         (tc := true;
          doArgs rest)
+      | "-dumpTypes" :: rest =>
+        (Elaborate.dumpTypes := true;
+         doArgs rest)
       | "-output" :: s :: rest =>
         (Settings.setExe (SOME s);
          doArgs rest)
-- 
cgit v1.2.3