summaryrefslogtreecommitdiff
path: root/src/elab_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 16:14:31 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 16:14:31 -0400
commit26ad31287745567b98b357de9793a0e795c63334 (patch)
tree6fa2aa05d829b2b71c6e2d778b4898999992a00f /src/elab_print.sml
parent98370da7e9f70e3d83f666019b765e15f617b846 (diff)
PRIMARY KEY
Diffstat (limited to 'src/elab_print.sml')
-rw-r--r--src/elab_print.sml26
1 files changed, 15 insertions, 11 deletions
diff --git a/src/elab_print.sml b/src/elab_print.sml
index b65e1bd6..7eb853af 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -740,17 +740,21 @@ fun p_decl env (dAll as (d, _) : decl) =
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]