Mercurial > urweb

comparison src/main.mlton.sml @ 1995:057b08253a75

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-explainEmbed
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Mar 2014 16:52:10 -0400
parents 210fb3dfc483
children fb113569519e 0ca11d57c175
comparison
equal deleted inserted replaced
1994:94529780bbcf 1995:057b08253a75
171 | SOME n => 171 | SOME n =>
172 if n < 0 then 172 if n < 0 then
173 raise Fail ("Invalid limit number '" ^ num ^ "'") 173 raise Fail ("Invalid limit number '" ^ num ^ "'")
174 else 174 else
175 Settings.addLimit (class, n); 175 Settings.addLimit (class, n);
176 doArgs rest)
177 | "-explainEmbed" :: rest =>
178 (JsComp.explainEmbed := true;
176 doArgs rest) 179 doArgs rest)
177 | arg :: rest => 180 | arg :: rest =>
178 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then 181 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then
179 raise Fail ("Unknown flag " ^ arg) 182 raise Fail ("Unknown flag " ^ arg)
180 else 183 else