comparison src/compiler.sml @ 643:aa2290c32ce2

Avoid any JavaScript when pages don't need it; update demo prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 10:44:26 -0400
parents 4a125bbc602d
children a8effb6159c2
comparison
equal deleted inserted replaced
642:4a125bbc602d 643:aa2290c32ce2
556 print = CjrPrint.p_file CjrEnv.empty 556 print = CjrPrint.p_file CjrEnv.empty
557 } 557 }
558 558
559 val toCjrize = transform cjrize "cjrize" o toPathcheck 559 val toCjrize = transform cjrize "cjrize" o toPathcheck
560 560
561 val scriptcheck = {
562 func = ScriptCheck.classify,
563 print = CjrPrint.p_file CjrEnv.empty
564 }
565
566 val toScriptcheck = transform scriptcheck "scriptcheck" o toCjrize
567
561 val prepare = { 568 val prepare = {
562 func = Prepare.prepare, 569 func = Prepare.prepare,
563 print = CjrPrint.p_file CjrEnv.empty 570 print = CjrPrint.p_file CjrEnv.empty
564 } 571 }
565 572
566 val toPrepare = transform prepare "prepare" o toCjrize 573 val toPrepare = transform prepare "prepare" o toScriptcheck
567 574
568 val sqlify = { 575 val sqlify = {
569 func = Cjrize.cjrize, 576 func = Cjrize.cjrize,
570 print = CjrPrint.p_sql CjrEnv.empty 577 print = CjrPrint.p_sql CjrEnv.empty
571 } 578 }