From d6a66b55f7f24bfbf144d00bce0a10b65930fb20 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 17 Mar 2014 16:52:10 -0400
Subject: -explainEmbed

---
 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 71fefc48..bfc18e59 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -174,6 +174,9 @@ fun oneRun args =
                      else
                          Settings.addLimit (class, n);
                  doArgs rest)
+              | "-explainEmbed" :: rest =>
+                (JsComp.explainEmbed := true;
+                 doArgs rest)
               | arg :: rest =>
                 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then
                      raise Fail ("Unknown flag " ^ arg)
-- 
cgit v1.2.3