Mercurial > urweb

comparison src/compiler.sml @ 377:78358e5df273

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper generation of relation names; checking that sequences exist
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 12:12:59 -0400
parents a94a79820d49
children 168667cdaa95
comparison
equal deleted inserted replaced
376:6fd102fa28f9 377:78358e5df273
461 461
462 val toMono_shake = transform mono_shake "mono_shake1" o toMono_reduce 462 val toMono_shake = transform mono_shake "mono_shake1" o toMono_reduce
463 463
464 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake 464 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake
465 465
466 val pathcheck = {
467 func = (fn file => (PathCheck.check file; file)),
468 print = MonoPrint.p_file MonoEnv.empty
469 }
470
471 val toPathcheck = transform pathcheck "pathcheck" o toMono_opt2
472
466 val cjrize = { 473 val cjrize = {
467 func = Cjrize.cjrize, 474 func = Cjrize.cjrize,
468 print = CjrPrint.p_file CjrEnv.empty 475 print = CjrPrint.p_file CjrEnv.empty
469 } 476 }
470 477
471 val toCjrize = transform cjrize "cjrize" o toMono_opt2 478 val toCjrize = transform cjrize "cjrize" o toPathcheck
472 479
473 val prepare = { 480 val prepare = {
474 func = Prepare.prepare, 481 func = Prepare.prepare,
475 print = CjrPrint.p_file CjrEnv.empty 482 print = CjrPrint.p_file CjrEnv.empty
476 } 483 }