Mercurial > urweb
diff src/main.mlton.sml @ 1995:057b08253a75
-explainEmbed
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 17 Mar 2014 16:52:10 -0400 |
| parents | 210fb3dfc483 |
| children | fb113569519e 0ca11d57c175 |
line wrap: on
line diff
--- a/src/main.mlton.sml Fri Mar 07 11:50:45 2014 -0500 +++ b/src/main.mlton.sml Mon Mar 17 16:52:10 2014 -0400 @@ -174,6 +174,9 @@ 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)