Mercurial > urweb

comparison src/main.mlton.sml @ 1254:935a981f4380

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 May 2010 13:57:01 -0400
parents a7b773f1d053
children 459a334345ae
comparison
equal deleted inserted replaced
1198:b52929351402 1254:935a981f4380
80 (Compiler.addModuleRoot (root, name); 80 (Compiler.addModuleRoot (root, name);
81 doArgs rest) 81 doArgs rest)
82 | "-sigfile" :: name :: rest => 82 | "-sigfile" :: name :: rest =>
83 (Settings.setSigFile (SOME name); 83 (Settings.setSigFile (SOME name);
84 doArgs rest) 84 doArgs rest)
85 | "-iflow" :: rest =>
86 (Compiler.doIflow := true;
87 doArgs rest)
85 | arg :: rest => 88 | arg :: rest =>
86 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then 89 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then
87 raise Fail ("Unknown flag " ^ arg) 90 raise Fail ("Unknown flag " ^ arg)
88 else 91 else
89 sources := arg :: !sources; 92 sources := arg :: !sources;