Mercurial > urweb

diff src/compiler.sml @ 2209:0ca11d57c175

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cleans up interface (it's now a command line option) and renames project to "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
author Ziv Scully <ziv@mit.edu>
date Sat, 31 May 2014 03:08:16 -0400
parents f0f7bf234893
children ef766ef6e242
line wrap: on
line diff
--- a/src/compiler.sml	Fri May 30 12:00:44 2014 -0400
+++ b/src/compiler.sml	Sat May 31 03:08:16 2014 -0400
@@ -83,6 +83,7 @@
 val debug = ref false
 val dumpSource = ref false
 val doIflow = ref false
+val doSqlcache = ref false
 
 val doDumpSource = ref (fn () => ())
 
@@ -1439,19 +1440,19 @@
 
 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck
 
-val sqlCache = {
-    func = SqlCache.go,
+val sqlcache = {
+    func = (fn file => (if !doSqlcache then Sqlcache.go file else file)),
     print = MonoPrint.p_file MonoEnv.empty
 }
 
-val toSqlCache = transform sqlCache "sqlCache" o toSigcheck
+val toSqlcache = transform sqlcache "sqlcache" o toSigcheck
 
 val cjrize = {
     func = Cjrize.cjrize,
     print = CjrPrint.p_file CjrEnv.empty
 }
 
-val toCjrize = transform cjrize "cjrize" o toSqlCache
+val toCjrize = transform cjrize "cjrize" o toSqlcache
 
 val prepare = {
     func = Prepare.prepare,