diff src/compiler.sig @ 1595:154cfe2eb366

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 659a2f71f5e5
children 3cfc79f92db7
line wrap: on
line diff
--- a/src/compiler.sig	Mon Nov 14 09:02:00 2011 -0500
+++ b/src/compiler.sig	Mon Nov 14 09:15:10 2011 -0500
@@ -116,6 +116,7 @@
     val jscomp : (Mono.file, Mono.file) phase
     val fuse : (Mono.file, Mono.file) phase
     val pathcheck : (Mono.file, Mono.file) phase
+    val sidecheck : (Mono.file, Mono.file) phase
     val cjrize : (Mono.file, Cjr.file) phase
     val scriptcheck : (Cjr.file, Cjr.file) phase
     val prepare : (Cjr.file, Cjr.file) phase
@@ -176,6 +177,7 @@
     val toUntangle3 : (string, Mono.file) transform
     val toMono_shake3 : (string, Mono.file) transform
     val toPathcheck : (string, Mono.file) transform
+    val toSidecheck : (string, Mono.file) transform
     val toCjrize : (string, Cjr.file) transform
     val toScriptcheck : (string, Cjr.file) transform
     val toPrepare : (string, Cjr.file) transform