comparison src/compiler.sml @ 1595:154cfe2eb366

Better error messages about server-side use of client-side functions
author Adam Chlipala <adam@chlipala.net>
date Mon, 14 Nov 2011 09:15:10 -0500
parents 6fe6bda2b928
children 06958d5a7088
comparison
equal deleted inserted replaced
1594:d9de8b3f8167 1595:154cfe2eb366
1272 print = MonoPrint.p_file MonoEnv.empty 1272 print = MonoPrint.p_file MonoEnv.empty
1273 } 1273 }
1274 1274
1275 val toPathcheck = transform pathcheck "pathcheck" o toMono_shake3 1275 val toPathcheck = transform pathcheck "pathcheck" o toMono_shake3
1276 1276
1277 val sidecheck = {
1278 func = SideCheck.check,
1279 print = MonoPrint.p_file MonoEnv.empty
1280 }
1281
1282 val toSidecheck = transform sidecheck "sidecheck" o toPathcheck
1283
1277 val cjrize = { 1284 val cjrize = {
1278 func = Cjrize.cjrize, 1285 func = Cjrize.cjrize,
1279 print = CjrPrint.p_file CjrEnv.empty 1286 print = CjrPrint.p_file CjrEnv.empty
1280 } 1287 }
1281 1288
1282 val toCjrize = transform cjrize "cjrize" o toPathcheck 1289 val toCjrize = transform cjrize "cjrize" o toSidecheck
1283 1290
1284 val scriptcheck = { 1291 val scriptcheck = {
1285 func = ScriptCheck.classify, 1292 func = ScriptCheck.classify,
1286 print = CjrPrint.p_file CjrEnv.empty 1293 print = CjrPrint.p_file CjrEnv.empty
1287 } 1294 }