summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-04-13 11:32:14 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2019-04-13 11:32:14 -0400
commitfb0d4f6c8492cc08bbf50609daa2cda1dc53a796 (patch)
tree89c3cb3342db40fe0a814fcc492080a91a038a7f
parentc4aba7a0befd9988ae032c5532790e5fabb321b9 (diff)
Generate primary key constraints with normal CONSTRAINT clauses (initial motivation: apgdiff only supports this new form)
-rw-r--r--src/cjr_print.sml7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 5ef891db..1e948943 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -3771,7 +3771,12 @@ fun p_sql env (ds, _) =
cut,
case pk of
"" => box []
- | _ => box [string "PRIMARY",
+ | _ => box [string "CONSTRAINT",
+ space,
+ string s,
+ string "_pkey",
+ space,
+ string "PRIMARY",
space,
string "KEY",
space,