Mercurial > urweb

comparison src/compiler.sml @ 1856:3683d1a8c1c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add Sigcheck phase to avoid issues with signatures in global initializers
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Jun 2013 08:18:47 -0400
parents bcae365efa85
children d6b0ee53dc93
comparison
equal deleted inserted replaced
1855:0480b8f29a47 1856:3683d1a8c1c8
1408 print = MonoPrint.p_file MonoEnv.empty 1408 print = MonoPrint.p_file MonoEnv.empty
1409 } 1409 }
1410 1410
1411 val toSidecheck = transform sidecheck "sidecheck" o toPathcheck 1411 val toSidecheck = transform sidecheck "sidecheck" o toPathcheck
1412 1412
1413 val sigcheck = {
1414 func = SigCheck.check,
1415 print = MonoPrint.p_file MonoEnv.empty
1416 }
1417
1418 val toSigcheck = transform sigcheck "sigcheck" o toSidecheck
1419
1413 val cjrize = { 1420 val cjrize = {
1414 func = Cjrize.cjrize, 1421 func = Cjrize.cjrize,
1415 print = CjrPrint.p_file CjrEnv.empty 1422 print = CjrPrint.p_file CjrEnv.empty
1416 } 1423 }
1417 1424
1418 val toCjrize = transform cjrize "cjrize" o toSidecheck 1425 val toCjrize = transform cjrize "cjrize" o toSigcheck
1419 1426
1420 val prepare = { 1427 val prepare = {
1421 func = Prepare.prepare, 1428 func = Prepare.prepare,
1422 print = CjrPrint.p_file CjrEnv.empty 1429 print = CjrPrint.p_file CjrEnv.empty
1423 } 1430 }