comparison src/main.mlton.sml @ 2215:639e62ca2530

Mostly finish effectfulness analysis.
author Ziv Scully <ziv@mit.edu>
date Fri, 31 Oct 2014 09:25:03 -0400
parents 0ca11d57c175
children 47d5c94aeeb8
comparison
equal deleted inserted replaced
2214:edd634b889d0 2215:639e62ca2530
45 Elaborate.dumpTypes := false; 45 Elaborate.dumpTypes := false;
46 Elaborate.dumpTypesOnError := false; 46 Elaborate.dumpTypesOnError := false;
47 Elaborate.unifyMore := false; 47 Elaborate.unifyMore := false;
48 Compiler.dumpSource := false; 48 Compiler.dumpSource := false;
49 Compiler.doIflow := false; 49 Compiler.doIflow := false;
50 Compiler.doSqlcache := false;
51 Demo.noEmacs := false; 50 Demo.noEmacs := false;
52 Settings.setDebug false) 51 Settings.setDebug false)
53 52
54 val () = Compiler.beforeC := MLton.GC.pack 53 val () = Compiler.beforeC := MLton.GC.pack
55 54
159 doArgs rest) 158 doArgs rest)
160 | "-iflow" :: rest => 159 | "-iflow" :: rest =>
161 (Compiler.doIflow := true; 160 (Compiler.doIflow := true;
162 doArgs rest) 161 doArgs rest)
163 | "-sqlcache" :: rest => 162 | "-sqlcache" :: rest =>
164 (Compiler.doSqlcache := true; 163 (Settings.setSqlcache true;
165 doArgs rest) 164 doArgs rest)
166 | "-moduleOf" :: fname :: _ => 165 | "-moduleOf" :: fname :: _ =>
167 (print (Compiler.moduleOf fname ^ "\n"); 166 (print (Compiler.moduleOf fname ^ "\n");
168 raise Code OS.Process.success) 167 raise Code OS.Process.success)
169 | "-noEmacs" :: rest => 168 | "-noEmacs" :: rest =>