diff src/elab_print.sml @ 707:d8217b4cb617

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/elab_print.sml	Tue Apr 07 15:04:07 2009 -0400
+++ b/src/elab_print.sml	Tue Apr 07 16:14:31 2009 -0400
@@ -740,17 +740,21 @@
                                       string ":",
                                       space,
                                       p_sgn env sgn]
-      | DTable (_, x, n, c, e, _) => box [string "table",
-                                          space,
-                                          p_named x n,
-                                          space,
-                                          string ":",
-                                          space,
-                                          p_con env c,
-                                          space,
-                                          string "constraints",
-                                          space,
-                                          p_exp env e]
+      | DTable (_, x, n, c, pe, _, ce, _) => box [string "table",
+                                                  space,
+                                                  p_named x n,
+                                                  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) => box [string "sequence",
                                     space,
                                     p_named x n]