Mercurial > urweb

diff src/core_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 5819fb63c93a
children fa2019a63ea4
line wrap: on
line diff
--- a/src/core_print.sml	Tue Apr 28 14:02:23 2009 -0400
+++ b/src/core_print.sml	Tue Apr 28 15:04:37 2009 -0400
@@ -566,6 +566,13 @@
                                     string "as",
                                     space,
                                     string s]
+      | DView (x, n, s, e, _) => box [string "view",
+                                      space,
+                                      p_named x n,
+                                      space,
+                                      string "as",
+                                      space,
+                                      p_exp env e]
       | DDatabase s => box [string "database",
                             space,
                             string s]