Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
2208:cb74460f046a 2209:0ca11d57c175
81 } 81 }
82 82
83 val debug = ref false 83 val debug = ref false
84 val dumpSource = ref false 84 val dumpSource = ref false
85 val doIflow = ref false 85 val doIflow = ref false
86 val doSqlcache = ref false
86 87
87 val doDumpSource = ref (fn () => ()) 88 val doDumpSource = ref (fn () => ())
88 89
89 val stop = ref (NONE : string option) 90 val stop = ref (NONE : string option)
90 fun setStop s = stop := SOME s 91 fun setStop s = stop := SOME s
1437 print = MonoPrint.p_file MonoEnv.empty 1438 print = MonoPrint.p_file MonoEnv.empty
1438 } 1439 }
1439 1440
1440 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck 1441 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck
1441 1442
1442 val sqlCache = { 1443 val sqlcache = {
1443 func = SqlCache.go, 1444 func = (fn file => (if !doSqlcache then Sqlcache.go file else file)),
1444 print = MonoPrint.p_file MonoEnv.empty 1445 print = MonoPrint.p_file MonoEnv.empty
1445 } 1446 }
1446 1447
1447 val toSqlCache = transform sqlCache "sqlCache" o toSigcheck 1448 val toSqlcache = transform sqlcache "sqlcache" o toSigcheck
1448 1449
1449 val cjrize = { 1450 val cjrize = {
1450 func = Cjrize.cjrize, 1451 func = Cjrize.cjrize,
1451 print = CjrPrint.p_file CjrEnv.empty 1452 print = CjrPrint.p_file CjrEnv.empty
1452 } 1453 }
1453 1454
1454 val toCjrize = transform cjrize "cjrize" o toSqlCache 1455 val toCjrize = transform cjrize "cjrize" o toSqlcache
1455 1456
1456 val prepare = { 1457 val prepare = {
1457 func = Prepare.prepare, 1458 func = Prepare.prepare,
1458 print = CjrPrint.p_file CjrEnv.empty 1459 print = CjrPrint.p_file CjrEnv.empty
1459 } 1460 }