comparison src/compiler.sig @ 1845:c1e3805e604e

Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Mar 2013 16:09:55 -0400
parents 38297294cf98
children 3683d1a8c1c8
comparison
equal deleted inserted replaced
1844:2c5e6f78560c 1845:c1e3805e604e
114 val untangle : (Mono.file, Mono.file) phase 114 val untangle : (Mono.file, Mono.file) phase
115 val mono_reduce : (Mono.file, Mono.file) phase 115 val mono_reduce : (Mono.file, Mono.file) phase
116 val mono_shake : (Mono.file, Mono.file) phase 116 val mono_shake : (Mono.file, Mono.file) phase
117 val iflow : (Mono.file, Mono.file) phase 117 val iflow : (Mono.file, Mono.file) phase
118 val namejs : (Mono.file, Mono.file) phase 118 val namejs : (Mono.file, Mono.file) phase
119 val scriptcheck : (Mono.file, Mono.file) phase
119 val jscomp : (Mono.file, Mono.file) phase 120 val jscomp : (Mono.file, Mono.file) phase
120 val fuse : (Mono.file, Mono.file) phase 121 val fuse : (Mono.file, Mono.file) phase
121 val pathcheck : (Mono.file, Mono.file) phase 122 val pathcheck : (Mono.file, Mono.file) phase
122 val sidecheck : (Mono.file, Mono.file) phase 123 val sidecheck : (Mono.file, Mono.file) phase
123 val cjrize : (Mono.file, Cjr.file) phase 124 val cjrize : (Mono.file, Cjr.file) phase
124 val scriptcheck : (Cjr.file, Cjr.file) phase
125 val prepare : (Cjr.file, Cjr.file) phase 125 val prepare : (Cjr.file, Cjr.file) phase
126 val checknest : (Cjr.file, Cjr.file) phase 126 val checknest : (Cjr.file, Cjr.file) phase
127 val sqlify : (Mono.file, Cjr.file) phase 127 val sqlify : (Mono.file, Cjr.file) phase
128 128
129 val toParseJob : (string, job) transform 129 val toParseJob : (string, job) transform
168 val toMono_shake : (string, Mono.file) transform 168 val toMono_shake : (string, Mono.file) transform
169 val toMono_opt2 : (string, Mono.file) transform 169 val toMono_opt2 : (string, Mono.file) transform
170 val toIflow : (string, Mono.file) transform 170 val toIflow : (string, Mono.file) transform
171 val toNamejs : (string, Mono.file) transform 171 val toNamejs : (string, Mono.file) transform
172 val toNamejs_untangle : (string, Mono.file) transform 172 val toNamejs_untangle : (string, Mono.file) transform
173 val toScriptcheck : (string, Mono.file) transform
173 val toJscomp : (string, Mono.file) transform 174 val toJscomp : (string, Mono.file) transform
174 val toMono_opt3 : (string, Mono.file) transform 175 val toMono_opt3 : (string, Mono.file) transform
175 val toFuse : (string, Mono.file) transform 176 val toFuse : (string, Mono.file) transform
176 val toUntangle2 : (string, Mono.file) transform 177 val toUntangle2 : (string, Mono.file) transform
177 val toMono_reduce2 : (string, Mono.file) transform 178 val toMono_reduce2 : (string, Mono.file) transform
182 val toUntangle3 : (string, Mono.file) transform 183 val toUntangle3 : (string, Mono.file) transform
183 val toMono_shake3 : (string, Mono.file) transform 184 val toMono_shake3 : (string, Mono.file) transform
184 val toPathcheck : (string, Mono.file) transform 185 val toPathcheck : (string, Mono.file) transform
185 val toSidecheck : (string, Mono.file) transform 186 val toSidecheck : (string, Mono.file) transform
186 val toCjrize : (string, Cjr.file) transform 187 val toCjrize : (string, Cjr.file) transform
187 val toScriptcheck : (string, Cjr.file) transform
188 val toPrepare : (string, Cjr.file) transform 188 val toPrepare : (string, Cjr.file) transform
189 val toChecknest : (string, Cjr.file) transform 189 val toChecknest : (string, Cjr.file) transform
190 val toSqlify : (string, Cjr.file) transform 190 val toSqlify : (string, Cjr.file) transform
191 191
192 val debug : bool ref 192 val debug : bool ref