summaryrefslogtreecommitdiff
path: root/src/corify.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/corify.sml
parent0faed8b64498534297bd797108b659802815aefc (diff)
SQL sequences
Diffstat (limited to 'src/corify.sml')
-rw-r--r--src/corify.sml8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/corify.sml b/src/corify.sml
index fac83ee3..92c429ef 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -863,6 +863,13 @@ fun corifyDecl ((d, loc : EM.span), st) =
in
([(L'.DTable (x, n, corifyCon st c, s), loc)], st)
end
+ | L.DSequence (_, x, n) =>
+ let
+ val (st, n) = St.bindVal st x n
+ val s = x
+ in
+ ([(L'.DSequence (x, n, s), loc)], st)
+ end
| L.DDatabase s => ([(L'.DDatabase s, loc)], st)
@@ -917,6 +924,7 @@ fun maxName ds = foldl (fn ((d, _), n) =>
| L.DFfiStr (_, n', _) => Int.max (n, n')
| L.DExport _ => n
| L.DTable (_, _, n', _) => Int.max (n, n')
+ | L.DSequence (_, _, n') => Int.max (n, n')
| L.DDatabase _ => n)
0 ds