diff src/compiler.sml @ 2203:39faa4a037f4

ML half of initial prototype. (Doesn't compile because there's no C yet.)
author Ziv Scully <ziv@mit.edu>
date Tue, 25 Mar 2014 02:04:06 -0400
parents 606af2c9b828
children 01c8aceac480
line wrap: on
line diff
--- a/src/compiler.sml	Sat Mar 08 05:06:22 2014 -0500
+++ b/src/compiler.sml	Tue Mar 25 02:04:06 2014 -0400
@@ -1438,19 +1438,19 @@
 
 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck
 
-val sqlcache = {
-    func = (fn file => (Sql.go file; file)),
+val sqlCache = {
+    func = SqlCache.go,
     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,