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,