Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/compiler.sml Sun Mar 08 20:34:21 2009 -0400 +++ b/src/compiler.sml Tue Mar 10 10:44:26 2009 -0400 @@ -558,12 +558,19 @@ val toCjrize = transform cjrize "cjrize" o toPathcheck +val scriptcheck = { + func = ScriptCheck.classify, + print = CjrPrint.p_file CjrEnv.empty +} + +val toScriptcheck = transform scriptcheck "scriptcheck" o toCjrize + val prepare = { func = Prepare.prepare, print = CjrPrint.p_file CjrEnv.empty } -val toPrepare = transform prepare "prepare" o toCjrize +val toPrepare = transform prepare "prepare" o toScriptcheck val sqlify = { func = Cjrize.cjrize,