Mercurial > urweb

comparison src/mono_util.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents f7e2026dd5ae
children fa2019a63ea4
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
490 fn pe' => 490 fn pe' =>
491 S.map2 (mfe ctx ce, 491 S.map2 (mfe ctx ce,
492 fn ce' => 492 fn ce' =>
493 (DTable (s, xts, pe', ce'), loc))) 493 (DTable (s, xts, pe', ce'), loc)))
494 | DSequence _ => S.return2 dAll 494 | DSequence _ => S.return2 dAll
495 | DView (s, xts, e) =>
496 S.map2 (mfe ctx e,
497 fn e' =>
498 (DView (s, xts, e'), loc))
495 | DDatabase _ => S.return2 dAll 499 | DDatabase _ => S.return2 dAll
496 | DJavaScript _ => S.return2 dAll 500 | DJavaScript _ => S.return2 dAll
497 | DCookie _ => S.return2 dAll 501 | DCookie _ => S.return2 dAll
498 | DStyle _ => S.return2 dAll 502 | DStyle _ => S.return2 dAll
499 503
573 | DValRec vis => foldl (fn ((x, n, t, e, s), ctx) => 577 | DValRec vis => foldl (fn ((x, n, t, e, s), ctx) =>
574 bind (ctx, NamedE (x, n, t, NONE, s))) ctx vis 578 bind (ctx, NamedE (x, n, t, NONE, s))) ctx vis
575 | DExport _ => ctx 579 | DExport _ => ctx
576 | DTable _ => ctx 580 | DTable _ => ctx
577 | DSequence _ => ctx 581 | DSequence _ => ctx
582 | DView _ => ctx
578 | DDatabase _ => ctx 583 | DDatabase _ => ctx
579 | DJavaScript _ => ctx 584 | DJavaScript _ => ctx
580 | DCookie _ => ctx 585 | DCookie _ => ctx
581 | DStyle _ => ctx 586 | DStyle _ => ctx
582 in 587 in
624 | DVal (_, n, _, _, _) => Int.max (n, count) 629 | DVal (_, n, _, _, _) => Int.max (n, count)
625 | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis 630 | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis
626 | DExport _ => count 631 | DExport _ => count
627 | DTable _ => count 632 | DTable _ => count
628 | DSequence _ => count 633 | DSequence _ => count
634 | DView _ => count
629 | DDatabase _ => count 635 | DDatabase _ => count
630 | DJavaScript _ => count 636 | DJavaScript _ => count
631 | DCookie _ => count 637 | DCookie _ => count
632 | DStyle _ => count) 0 638 | DStyle _ => count) 0
633 639