comparison src/compiler.sml @ 2213:365727ff68f4

Complete overhaul: cache queries based on immediate query result, not eventual HTML output.
author Ziv Scully <ziv@mit.edu>
date Tue, 14 Oct 2014 18:05:09 -0400
parents ef766ef6e242
children e10881cd92da
comparison
equal deleted inserted replaced
2212:388ba4dc7c96 2213:365727ff68f4
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
87 86
88 val doDumpSource = ref (fn () => ()) 87 val doDumpSource = ref (fn () => ())
89 88
90 val stop = ref (NONE : string option) 89 val stop = ref (NONE : string option)
91 fun setStop s = stop := SOME s 90 fun setStop s = stop := SOME s
1455 } 1454 }
1456 1455
1457 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck 1456 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck
1458 1457
1459 val sqlcache = { 1458 val sqlcache = {
1460 func = (fn file => (if !doSqlcache then Sqlcache.go file else file)), 1459 func = (fn file =>
1460 if Settings.getSqlcache ()
1461 then let val file = MonoInline.inlineFull file in Sqlcache.go file end
1462 else file),
1461 print = MonoPrint.p_file MonoEnv.empty 1463 print = MonoPrint.p_file MonoEnv.empty
1462 } 1464 }
1463 1465
1464 val toSqlcache = transform sqlcache "sqlcache" o toSigcheck 1466 val toSqlcache = transform sqlcache "sqlcache" o toSigcheck
1465 1467