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.

1 files changed, 5 insertions, 4 deletions

diff --git a/src/compiler.sml b/src/compiler.sml
index cbc6478d..26e07e2a 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -83,6 +83,7 @@ type ('src, 'dst) transform = {
 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 sigcheck = {
 
 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,