Mercurial > urweb

comparison src/main.mlton.sml @ 1301:4359e185d3af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo improvements
author Adam Chlipala <adam@chlipala.net>
date Thu, 30 Sep 2010 18:29:59 -0400
parents 459a334345ae
children d2ad997ca157
comparison
equal deleted inserted replaced
1300:e3944a8a128a 1301:4359e185d3af
86 (Compiler.doIflow := true; 86 (Compiler.doIflow := true;
87 doArgs rest) 87 doArgs rest)
88 | "-moduleOf" :: fname :: _ => 88 | "-moduleOf" :: fname :: _ =>
89 (print (Compiler.moduleOf fname ^ "\n"); 89 (print (Compiler.moduleOf fname ^ "\n");
90 OS.Process.exit OS.Process.success) 90 OS.Process.exit OS.Process.success)
91 | "-noEmacs" :: rest =>
92 (Demo.noEmacs := true;
93 doArgs rest)
91 | arg :: rest => 94 | arg :: rest =>
92 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then 95 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then
93 raise Fail ("Unknown flag " ^ arg) 96 raise Fail ("Unknown flag " ^ arg)
94 else 97 else
95 sources := arg :: !sources; 98 sources := arg :: !sources;