comparison src/mono_print.sml @ 2221:278e10629ba1

Basic field-resolution invalidation.
author Ziv Scully <ziv@mit.edu>
date Sat, 29 Nov 2014 03:37:59 -0500
parents 98895243b5b6
children 25874084bf1f
comparison
equal deleted inserted replaced
2220:794017f378de 2221:278e10629ba1
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
308 p_enamed env n, 308 p_enamed env n,
309 p_list_sep (string "") (fn e => box [string ", ", 309 p_list_sep (string "") (fn e => box [string ", ",
310 p_exp env e]) es, 310 p_exp env e]) es,
311 string ")"] 311 string ")"]
312 312
313 | EQuery {exps, tables, state, query, body, initial} => 313 | EQuery {exps, tables, state, query, body, initial, sqlcacheInfo} =>
314 box [string "query[", 314 box [string "query[",
315 p_list (fn (x, t) => box [string x, space, string ":", space, p_typ env t]) exps, 315 p_list (fn (x, t) => box [string x, space, string ":", space, p_typ env t]) exps,
316 string "] [", 316 string "] [",
317 p_list (fn (x, xts) => box [string x, 317 p_list (fn (x, xts) => box [string x,
318 space, 318 space,
389 val xp = if !debug then 389 val xp = if !debug then
390 box [string x, 390 box [string x,
391 string "__", 391 string "__",
392 string (Int.toString n)] 392 string (Int.toString n)]
393 else 393 else
394 string x 394 string x
395 in 395 in
396 box [xp, 396 box [xp,
397 space, 397 space,
398 string "as", 398 string "as",
399 space, 399 space,
539 p_exp env e2] 539 p_exp env e2]
540 | DPolicy p => box [string "policy", 540 | DPolicy p => box [string "policy",
541 space, 541 space,
542 p_policy env p] 542 p_policy env p]
543 | DOnError _ => string "ONERROR" 543 | DOnError _ => string "ONERROR"
544 544
545 fun p_file env (file, _) = 545 fun p_file env (file, _) =
546 let 546 let
547 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 547 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
548 (p_decl env d, 548 (p_decl env d,
549 E.declBinds env d)) 549 E.declBinds env d))