Mercurial > urweb

comparison src/expl_print.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 acb8537f58f0
children 6271f0e3c272
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
679 space, 679 space,
680 p_exp env ce] 680 p_exp env ce]
681 | DSequence (_, x, n) => box [string "sequence", 681 | DSequence (_, x, n) => box [string "sequence",
682 space, 682 space,
683 p_named x n] 683 p_named x n]
684 | DView (_, x, n, e, _) => box [string "view",
685 space,
686 p_named x n,
687 space,
688 string "as",
689 space,
690 p_exp env e]
684 | DDatabase s => box [string "database", 691 | DDatabase s => box [string "database",
685 space, 692 space,
686 string s] 693 string s]
687 | DCookie (_, x, n, c) => box [string "cookie", 694 | DCookie (_, x, n, c) => box [string "cookie",
688 space, 695 space,