comparison 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
comparison
equal deleted inserted replaced
2202:606af2c9b828 2203:39faa4a037f4
1436 print = MonoPrint.p_file MonoEnv.empty 1436 print = MonoPrint.p_file MonoEnv.empty
1437 } 1437 }
1438 1438
1439 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck 1439 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck
1440 1440
1441 val sqlcache = { 1441 val sqlCache = {
1442 func = (fn file => (Sql.go file; file)), 1442 func = SqlCache.go,
1443 print = MonoPrint.p_file MonoEnv.empty 1443 print = MonoPrint.p_file MonoEnv.empty
1444 } 1444 }
1445 1445
1446 val toSqlcache = transform sqlcache "sqlcache" o toSigcheck 1446 val toSqlCache = transform sqlCache "sqlCache" o toSigcheck
1447 1447
1448 val cjrize = { 1448 val cjrize = {
1449 func = Cjrize.cjrize, 1449 func = Cjrize.cjrize,
1450 print = CjrPrint.p_file CjrEnv.empty 1450 print = CjrPrint.p_file CjrEnv.empty
1451 } 1451 }
1452 1452
1453 val toCjrize = transform cjrize "cjrize" o toSqlcache 1453 val toCjrize = transform cjrize "cjrize" o toSqlCache
1454 1454
1455 val prepare = { 1455 val prepare = {
1456 func = Prepare.prepare, 1456 func = Prepare.prepare,
1457 print = CjrPrint.p_file CjrEnv.empty 1457 print = CjrPrint.p_file CjrEnv.empty
1458 } 1458 }