diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-14 11:02:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-14 11:02:18 -0400 |
| commit | c81c24b4feb3fae3c13861f1bcaafab697a6bb7e (patch) | |
| tree | 4f168489261d0202a9d664e548dd71a10665df46 /src/mono_util.sml | |
| parent | 0faed8b64498534297bd797108b659802815aefc (diff) | |
SQL sequences
Diffstat (limited to 'src/mono_util.sml')
| -rw-r--r-- | src/mono_util.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/mono_util.sml b/src/mono_util.sml index e9f8e033..a56e5287 100644 --- a/src/mono_util.sml +++ b/src/mono_util.sml @@ -290,6 +290,10 @@ fun mapfoldB {typ = fc, exp = fe, bind} = S.map2 (mfe ctx e, fn e' => (EDml e', loc)) + | ENextval e => + S.map2 (mfe ctx e, + fn e' => + (ENextval e', loc)) in mfe end @@ -375,6 +379,7 @@ fun mapfoldB {typ = fc, exp = fe, decl = fd, bind} = fn ts' => (DExport (ek, s, n, ts'), loc)) | DTable _ => S.return2 dAll + | DSequence _ => S.return2 dAll | DDatabase _ => S.return2 dAll and mfvi ctx (x, n, t, e, s) = @@ -439,6 +444,7 @@ fun mapfoldB (all as {bind, ...}) = bind (ctx, NamedE (x, n, t, NONE, s))) ctx vis | DExport _ => ctx | DTable _ => ctx + | DSequence _ => ctx | DDatabase _ => ctx in S.map2 (mff ctx' ds', |