Mercurial > urweb

comparison src/main.mlton.sml @ 1745:518e0b23c4ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-dumpTypesOnError
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 May 2012 12:58:13 -0400
parents 6fcce0592178
children 90ebfac7e1a3
comparison
equal deleted inserted replaced
1744:6fcce0592178 1745:518e0b23c4ef
41 val css = ref false 41 val css = ref false
42 42
43 val () = (Compiler.debug := false; 43 val () = (Compiler.debug := false;
44 Elaborate.verbose := false; 44 Elaborate.verbose := false;
45 Elaborate.dumpTypes := false; 45 Elaborate.dumpTypes := false;
46 Elaborate.dumpTypesOnError := false;
46 Elaborate.unifyMore := false; 47 Elaborate.unifyMore := false;
47 Compiler.dumpSource := false; 48 Compiler.dumpSource := false;
48 Compiler.doIflow := false; 49 Compiler.doIflow := false;
49 Demo.noEmacs := false; 50 Demo.noEmacs := false;
50 Settings.setDebug false) 51 Settings.setDebug false)
100 | "-tc" :: rest => 101 | "-tc" :: rest =>
101 (tc := true; 102 (tc := true;
102 doArgs rest) 103 doArgs rest)
103 | "-dumpTypes" :: rest => 104 | "-dumpTypes" :: rest =>
104 (Elaborate.dumpTypes := true; 105 (Elaborate.dumpTypes := true;
106 doArgs rest)
107 | "-dumpTypesOnError" :: rest =>
108 (Elaborate.dumpTypesOnError := true;
105 doArgs rest) 109 doArgs rest)
106 | "-unifyMore" :: rest => 110 | "-unifyMore" :: rest =>
107 (Elaborate.unifyMore := true; 111 (Elaborate.unifyMore := true;
108 doArgs rest) 112 doArgs rest)
109 | "-dumpSource" :: rest => 113 | "-dumpSource" :: rest =>