Mercurial > urweb
comparison src/main.mlton.sml @ 1989:210fb3dfc483
Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 20 Feb 2014 10:27:15 -0500 |
parents | 0652f295e0fa |
children | 057b08253a75 |
comparison
equal
deleted
inserted
replaced
1988:abb6981a2c4c | 1989:210fb3dfc483 |
---|---|
121 | "-unifyMore" :: rest => | 121 | "-unifyMore" :: rest => |
122 (Elaborate.unifyMore := true; | 122 (Elaborate.unifyMore := true; |
123 doArgs rest) | 123 doArgs rest) |
124 | "-dumpSource" :: rest => | 124 | "-dumpSource" :: rest => |
125 (Compiler.dumpSource := true; | 125 (Compiler.dumpSource := true; |
126 doArgs rest) | |
127 | "-dumpVerboseSource" :: rest => | |
128 (Compiler.dumpSource := true; | |
129 ElabPrint.debug := true; | |
130 ExplPrint.debug := true; | |
131 CorePrint.debug := true; | |
132 MonoPrint.debug := true; | |
126 doArgs rest) | 133 doArgs rest) |
127 | "-output" :: s :: rest => | 134 | "-output" :: s :: rest => |
128 (Settings.setExe (SOME s); | 135 (Settings.setExe (SOME s); |
129 doArgs rest) | 136 doArgs rest) |
130 | "-sql" :: s :: rest => | 137 | "-sql" :: s :: rest => |