Mercurial > urweb

diff src/core_print.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents e6706a1df013
children f152f215a02c
line wrap: on
line diff
--- a/src/core_print.sml	Tue Apr 07 15:04:07 2009 -0400
+++ b/src/core_print.sml	Tue Apr 07 16:14:31 2009 -0400
@@ -546,21 +546,25 @@
                                 space,
                                 (p_con env (#2 (E.lookupENamed env n))
                                  handle E.UnboundNamed _ => string "UNBOUND")]
-      | DTable (x, n, c, s, e, _) => box [string "table",
-                                          space,
-                                          p_named x n,
-                                          space,
-                                          string "as",
-                                          space,
-                                          string s,
-                                          space,
-                                          string ":",
-                                          space,
-                                          p_con env c,
-                                          space,
-                                          string "constraints",
-                                          space,
-                                          p_exp env e]
+      | DTable (x, n, c, s, pe, _, ce, _) => box [string "table",
+                                                  space,
+                                                  p_named x n,
+                                                  space,
+                                                  string "as",
+                                                  space,
+                                                  string s,
+                                                  space,
+                                                  string ":",
+                                                  space,
+                                                  p_con env c,
+                                                  space,
+                                                  string "keys",
+                                                  space,
+                                                  p_exp env pe,
+                                                  space,
+                                                  string "constraints",
+                                                  space,
+                                                  p_exp env ce]
       | DSequence (x, n, s) => box [string "sequence",
                                     space,
                                     p_named x n,