Mercurial > urweb

comparison src/main.mlton.sml @ 1531:7efcf8f4a44a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'-dumpTypes'
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Aug 2011 16:53:06 -0400
parents b5517f47b1f1
children 659a2f71f5e5
comparison
equal deleted inserted replaced
1530:09c56e03beaf 1531:7efcf8f4a44a
78 (timing := true; 78 (timing := true;
79 doArgs rest) 79 doArgs rest)
80 | "-tc" :: rest => 80 | "-tc" :: rest =>
81 (tc := true; 81 (tc := true;
82 doArgs rest) 82 doArgs rest)
83 | "-dumpTypes" :: rest =>
84 (Elaborate.dumpTypes := true;
85 doArgs rest)
83 | "-output" :: s :: rest => 86 | "-output" :: s :: rest =>
84 (Settings.setExe (SOME s); 87 (Settings.setExe (SOME s);
85 doArgs rest) 88 doArgs rest)
86 | "-sql" :: s :: rest => 89 | "-sql" :: s :: rest =>
87 (Settings.setSql (SOME s); 90 (Settings.setSql (SOME s);