Mercurial > urweb
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 => |