Mercurial > urweb

comparison src/compiler.sig @ 2304:6fb9232ade99

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge Sqlcache
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Dec 2015 14:18:52 -0500
parents f8903af753ff
children
comparison
equal deleted inserted replaced
2201:1091227f535a 2304:6fb9232ade99
14 * 14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
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 sigcheck : (Mono.file, Mono.file) phase
125 val sqlcache : (Mono.file, Mono.file) phase
125 val cjrize : (Mono.file, Cjr.file) phase 126 val cjrize : (Mono.file, Cjr.file) phase
126 val prepare : (Cjr.file, Cjr.file) phase 127 val prepare : (Cjr.file, Cjr.file) phase
127 val checknest : (Cjr.file, Cjr.file) phase 128 val checknest : (Cjr.file, Cjr.file) phase
128 val sqlify : (Mono.file, Cjr.file) phase 129 val sqlify : (Mono.file, Cjr.file) phase
129 130
135 val toTermination : (string, Elab.file) transform 136 val toTermination : (string, Elab.file) transform
136 val toExplify : (string, Expl.file) transform 137 val toExplify : (string, Expl.file) transform
137 val toCorify : (string, Core.file) transform 138 val toCorify : (string, Core.file) transform
138 val toCore_untangle : (string, Core.file) transform 139 val toCore_untangle : (string, Core.file) transform
139 val toShake1 : (string, Core.file) transform 140 val toShake1 : (string, Core.file) transform
140 val toEspecialize1' : (string, Core.file) transform 141 val toEspecialize1' : (string, Core.file) transform
141 val toShake1' : (string, Core.file) transform 142 val toShake1' : (string, Core.file) transform
142 val toRpcify : (string, Core.file) transform 143 val toRpcify : (string, Core.file) transform
143 val toCore_untangle2 : (string, Core.file) transform 144 val toCore_untangle2 : (string, Core.file) transform
144 val toShake2 : (string, Core.file) transform 145 val toShake2 : (string, Core.file) transform
145 val toEspecialize1 : (string, Core.file) transform 146 val toEspecialize1 : (string, Core.file) transform
146 val toCore_untangle3 : (string, Core.file) transform 147 val toCore_untangle3 : (string, Core.file) transform
147 val toShake3 : (string, Core.file) transform 148 val toShake3 : (string, Core.file) transform
148 val toTag : (string, Core.file) transform 149 val toTag : (string, Core.file) transform
149 val toReduce : (string, Core.file) transform 150 val toReduce : (string, Core.file) transform
150 val toShakey : (string, Core.file) transform 151 val toShakey : (string, Core.file) transform
185 val toUntangle3 : (string, Mono.file) transform 186 val toUntangle3 : (string, Mono.file) transform
186 val toMono_shake3 : (string, Mono.file) transform 187 val toMono_shake3 : (string, Mono.file) transform
187 val toPathcheck : (string, Mono.file) transform 188 val toPathcheck : (string, Mono.file) transform
188 val toSidecheck : (string, Mono.file) transform 189 val toSidecheck : (string, Mono.file) transform
189 val toSigcheck : (string, Mono.file) transform 190 val toSigcheck : (string, Mono.file) transform
191 val toSqlcache : (string, Mono.file) transform
190 val toCjrize : (string, Cjr.file) transform 192 val toCjrize : (string, Cjr.file) transform
191 val toPrepare : (string, Cjr.file) transform 193 val toPrepare : (string, Cjr.file) transform
192 val toChecknest : (string, Cjr.file) transform 194 val toChecknest : (string, Cjr.file) transform
193 val toSqlify : (string, Cjr.file) transform 195 val toSqlify : (string, Cjr.file) transform
194 196