Mercurial > urweb
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 |