diff src/mono_print.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents f7e2026dd5ae
children fa2019a63ea4
line wrap: on
line diff
--- a/src/mono_print.sml	Tue Apr 28 14:02:23 2009 -0400
+++ b/src/mono_print.sml	Tue Apr 28 15:04:37 2009 -0400
@@ -438,6 +438,13 @@
       | DSequence s => box [string "(* SQL sequence ",
                             string s,
                             string "*)"]
+      | DView (s, _, e) => box [string "(* SQL view ",
+                                string s,
+                                space,
+                                string "as",
+                                space,
+                                p_exp env e,
+                                string "*)"]
       | DDatabase {name, expunge, initialize} => box [string "database",
                                                       space,
                                                       string name,