comparison src/compiler.sig @ 1856:3683d1a8c1c8

Add Sigcheck phase to avoid issues with signatures in global initializers
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Jun 2013 08:18:47 -0400
parents c1e3805e604e
children 0652f295e0fa
comparison
equal deleted inserted replaced
1855:0480b8f29a47 1856:3683d1a8c1c8
119 val scriptcheck : (Mono.file, Mono.file) phase 119 val scriptcheck : (Mono.file, Mono.file) phase
120 val jscomp : (Mono.file, Mono.file) phase 120 val jscomp : (Mono.file, Mono.file) phase
121 val fuse : (Mono.file, Mono.file) phase 121 val fuse : (Mono.file, Mono.file) phase
122 val pathcheck : (Mono.file, Mono.file) phase 122 val pathcheck : (Mono.file, Mono.file) phase
123 val sidecheck : (Mono.file, Mono.file) phase 123 val sidecheck : (Mono.file, Mono.file) phase
124 val sigcheck : (Mono.file, Mono.file) phase
124 val cjrize : (Mono.file, Cjr.file) phase 125 val cjrize : (Mono.file, Cjr.file) phase
125 val prepare : (Cjr.file, Cjr.file) phase 126 val prepare : (Cjr.file, Cjr.file) phase
126 val checknest : (Cjr.file, Cjr.file) phase 127 val checknest : (Cjr.file, Cjr.file) phase
127 val sqlify : (Mono.file, Cjr.file) phase 128 val sqlify : (Mono.file, Cjr.file) phase
128 129
182 val toFuse2 : (string, Mono.file) transform 183 val toFuse2 : (string, Mono.file) transform
183 val toUntangle3 : (string, Mono.file) transform 184 val toUntangle3 : (string, Mono.file) transform
184 val toMono_shake3 : (string, Mono.file) transform 185 val toMono_shake3 : (string, Mono.file) transform
185 val toPathcheck : (string, Mono.file) transform 186 val toPathcheck : (string, Mono.file) transform
186 val toSidecheck : (string, Mono.file) transform 187 val toSidecheck : (string, Mono.file) transform
188 val toSigcheck : (string, Mono.file) transform
187 val toCjrize : (string, Cjr.file) transform 189 val toCjrize : (string, Cjr.file) transform
188 val toPrepare : (string, Cjr.file) transform 190 val toPrepare : (string, Cjr.file) transform
189 val toChecknest : (string, Cjr.file) transform 191 val toChecknest : (string, Cjr.file) transform
190 val toSqlify : (string, Cjr.file) transform 192 val toSqlify : (string, Cjr.file) transform
191 193