Mercurial > urweb

diff src/compiler.sml @ 1595:154cfe2eb366

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Better error messages about server-side use of client-side functions
author Adam Chlipala <adam@chlipala.net>
date Mon, 14 Nov 2011 09:15:10 -0500
parents 6fe6bda2b928
children 06958d5a7088
line wrap: on
line diff
--- a/src/compiler.sml	Mon Nov 14 09:02:00 2011 -0500
+++ b/src/compiler.sml	Mon Nov 14 09:15:10 2011 -0500
@@ -1274,12 +1274,19 @@
 
 val toPathcheck = transform pathcheck "pathcheck" o toMono_shake3
 
+val sidecheck = {
+    func = SideCheck.check,
+    print = MonoPrint.p_file MonoEnv.empty
+}
+
+val toSidecheck = transform sidecheck "sidecheck" o toPathcheck
+
 val cjrize = {
     func = Cjrize.cjrize,
     print = CjrPrint.p_file CjrEnv.empty
 }
 
-val toCjrize = transform cjrize "cjrize" o toPathcheck
+val toCjrize = transform cjrize "cjrize" o toSidecheck
 
 val scriptcheck = {
     func = ScriptCheck.classify,