Mercurial > urweb

comparison src/main.mlton.sml @ 1235:a7b773f1d053

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Command-line use of Iflow
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 11:34:59 -0400
parents 6373a0432338
children 459a334345ae
comparison
equal deleted inserted replaced
1234:e799c8df3146 1235:a7b773f1d053
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;