summaryrefslogtreecommitdiff
path: root/src/mono_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-14 11:02:18 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-14 11:02:18 -0400
commitc81c24b4feb3fae3c13861f1bcaafab697a6bb7e (patch)
tree4f168489261d0202a9d664e548dd71a10665df46 /src/mono_print.sml
parent0faed8b64498534297bd797108b659802815aefc (diff)
SQL sequences
Diffstat (limited to 'src/mono_print.sml')
-rw-r--r--src/mono_print.sml6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml
index 40abf7d7..f7adfd70 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -260,6 +260,9 @@ fun p_exp' par env (e, _) =
| EDml e => box [string "dml(",
p_exp env e,
string ")"]
+ | ENextval e => box [string "nextval(",
+ p_exp env e,
+ string ")"]
and p_exp env = p_exp' false env
@@ -348,6 +351,9 @@ fun p_decl env (dAll as (d, _) : decl) =
p_typ env t]) xts,
space,
string "*)"]
+ | DSequence s => box [string "(* SQL sequence ",
+ string s,
+ string "*)"]
| DDatabase s => box [string "database",
space,
string s]