From db7cd221444afce64803e66594d56dc8e7a0843c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Mar 2009 10:44:26 -0400
Subject: Avoid any JavaScript when pages don't need it; update demo prose

---
 src/compiler.sml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index d74da2a6..b433a7b6 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -558,12 +558,19 @@ val cjrize = {
 
 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,
-- 
cgit v1.2.3