Mercurial > urweb

diff src/mono_print.sml @ 683:9a2c18dab11d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Expunging non-nullable rows
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 13:30:01 -0400
parents f73913d97a40
children a3ddf05fb3e3
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Mar 29 11:37:29 2009 -0400
+++ b/src/mono_print.sml	Sun Mar 29 13:30:01 2009 -0400
@@ -413,9 +413,13 @@
       | DSequence s => box [string "(* SQL sequence ",
                             string s,
                             string "*)"]
-      | DDatabase s => box [string "database",
-                            space,
-                            string s]
+      | DDatabase (s, n) => box [string "database",
+                                 space,
+                                 string s,
+                                 space,
+                                 string "(",
+                                 p_enamed env n,
+                                 string ")"]
       | DJavaScript s => box [string "JavaScript(",
                               string s,
                               string ")"]