Mercurial > urweb

comparison src/main.mlton.sml @ 1723:5ecf67553da8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-unifyMore
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Apr 2012 09:08:45 -0400
parents 3cfc79f92db7
children ab24a7cb2a64
comparison
equal deleted inserted replaced
1722:f7d9dc5d57eb 1723:5ecf67553da8
83 (tc := true; 83 (tc := true;
84 doArgs rest) 84 doArgs rest)
85 | "-dumpTypes" :: rest => 85 | "-dumpTypes" :: rest =>
86 (Elaborate.dumpTypes := true; 86 (Elaborate.dumpTypes := true;
87 doArgs rest) 87 doArgs rest)
88 | "-unifyMore" :: rest =>
89 (Elaborate.unifyMore := true;
90 doArgs rest)
88 | "-dumpSource" :: rest => 91 | "-dumpSource" :: rest =>
89 (Compiler.dumpSource := true; 92 (Compiler.dumpSource := true;
90 doArgs rest) 93 doArgs rest)
91 | "-output" :: s :: rest => 94 | "-output" :: s :: rest =>
92 (Settings.setExe (SOME s); 95 (Settings.setExe (SOME s);