summaryrefslogtreecommitdiff
path: root/src/mono_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/mono_print.sml
parent98370da7e9f70e3d83f666019b765e15f617b846 (diff)
PRIMARY KEY
Diffstat (limited to 'src/mono_print.sml')
-rw-r--r--src/mono_print.sml36
1 files changed, 20 insertions, 16 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml
index 935f8368..c75e81ba 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -403,22 +403,26 @@ fun p_decl env (dAll as (d, _) : decl) =
space,
p_typ env t]
- | DTable (s, xts, e) => box [string "(* SQL table ",
- string s,
- space,
- string ":",
- space,
- p_list (fn (x, t) => box [string x,
- space,
- string ":",
- space,
- p_typ env t]) xts,
- space,
- string "constraints",
- space,
- p_exp env e,
- space,
- string "*)"]
+ | DTable (s, xts, pe, ce) => box [string "(* SQL table ",
+ string s,
+ space,
+ string ":",
+ space,
+ p_list (fn (x, t) => box [string x,
+ space,
+ string ":",
+ space,
+ p_typ env t]) xts,
+ space,
+ string "keys",
+ space,
+ p_exp env pe,
+ space,
+ string "constraints",
+ space,
+ p_exp env ce,
+ space,
+ string "*)"]
| DSequence s => box [string "(* SQL sequence ",
string s,
string "*)"]