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