comparison src/compiler.sig @ 2202:606af2c9b828

Identifies tables read or touched by queries.
author Ziv Scully <ziv@mit.edu>
date Sat, 08 Mar 2014 05:06:22 -0500
parents 0652f295e0fa
children 39faa4a037f4
comparison
equal deleted inserted replaced
1994:94529780bbcf 2202:606af2c9b828
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
184 val toUntangle3 : (string, Mono.file) transform 185 val toUntangle3 : (string, Mono.file) transform
185 val toMono_shake3 : (string, Mono.file) transform 186 val toMono_shake3 : (string, Mono.file) transform
186 val toPathcheck : (string, Mono.file) transform 187 val toPathcheck : (string, Mono.file) transform
187 val toSidecheck : (string, Mono.file) transform 188 val toSidecheck : (string, Mono.file) transform
188 val toSigcheck : (string, Mono.file) transform 189 val toSigcheck : (string, Mono.file) transform
190 val toSqlcache : (string, Mono.file) transform
189 val toCjrize : (string, Cjr.file) transform 191 val toCjrize : (string, Cjr.file) transform
190 val toPrepare : (string, Cjr.file) transform 192 val toPrepare : (string, Cjr.file) transform
191 val toChecknest : (string, Cjr.file) transform 193 val toChecknest : (string, Cjr.file) transform
192 val toSqlify : (string, Cjr.file) transform 194 val toSqlify : (string, Cjr.file) transform
193 195