Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/main.mlton.sml Tue Feb 18 07:07:01 2014 -0500 +++ b/src/main.mlton.sml Thu Feb 20 10:27:15 2014 -0500 @@ -124,6 +124,13 @@ | "-dumpSource" :: rest => (Compiler.dumpSource := true; doArgs rest) + | "-dumpVerboseSource" :: rest => + (Compiler.dumpSource := true; + ElabPrint.debug := true; + ExplPrint.debug := true; + CorePrint.debug := true; + MonoPrint.debug := true; + doArgs rest) | "-output" :: s :: rest => (Settings.setExe (SOME s); doArgs rest)