comparison src/main.mlton.sml @ 2206:c1a62ce47083

Merge.
author Ziv Scully <ziv@mit.edu>
date Tue, 27 May 2014 21:38:01 -0400
parents 057b08253a75
children fb113569519e 0ca11d57c175
comparison
equal deleted inserted replaced
2205:cdea39473c78 2206:c1a62ce47083
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