Mercurial > urweb

comparison src/elab_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 e2780d2f4afc
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
756 space, 756 space,
757 p_exp env ce] 757 p_exp env ce]
758 | DSequence (_, x, n) => box [string "sequence", 758 | DSequence (_, x, n) => box [string "sequence",
759 space, 759 space,
760 p_named x n] 760 p_named x n]
761 | DView (_, x, n, e, _) => box [string "view",
762 space,
763 p_named x n,
764 space,
765 string "as",
766 space,
767 p_exp env e]
761 | DClass (x, n, k, c) => box [string "class", 768 | DClass (x, n, k, c) => box [string "class",
762 space, 769 space,
763 p_named x n, 770 p_named x n,
764 space, 771 space,
765 string "::", 772 string "::",