Mercurial > urweb

diff src/source_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
line wrap: on
line diff
--- a/src/source_print.sml	Tue Apr 28 14:02:23 2009 -0400
+++ b/src/source_print.sml	Tue Apr 28 15:04:37 2009 -0400
@@ -621,6 +621,13 @@
       | DSequence x => box [string "sequence",
                             space,
                             string x]
+      | DView (x, e) => box [string "view",
+                             space,
+                             string x,
+                             space,
+                             string "=",
+                             space,
+                             p_exp e]
       | DClass (x, k, c) => box [string "class",
                                  space,
                                  string x,