summaryrefslogtreecommitdiff
path: root/src/main.mlton.sml
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2014-10-31 09:25:03 -0400
committerGravatar Ziv Scully <ziv@mit.edu>2014-10-31 09:25:03 -0400
commit7b94f3433f47e4e5010dc2af6010181da49637e8 (patch)
treedf609b60422a34b84de0420720afd59ce30b7989 /src/main.mlton.sml
parent0185025d29459fe681afa1c01faa22a5d8034884 (diff)
Mostly finish effectfulness analysis.
Diffstat (limited to 'src/main.mlton.sml')
-rw-r--r--src/main.mlton.sml3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 5ecd7290..3ae968b0 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -47,7 +47,6 @@ fun oneRun args =
Elaborate.unifyMore := false;
Compiler.dumpSource := false;
Compiler.doIflow := false;
- Compiler.doSqlcache := false;
Demo.noEmacs := false;
Settings.setDebug false)
@@ -161,7 +160,7 @@ fun oneRun args =
(Compiler.doIflow := true;
doArgs rest)
| "-sqlcache" :: rest =>
- (Compiler.doSqlcache := true;
+ (Settings.setSqlcache true;
doArgs rest)
| "-moduleOf" :: fname :: _ =>
(print (Compiler.moduleOf fname ^ "\n");