Mercurial > urweb

diff src/mono_util.sml @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 52d4c60518d4
children 7abb28e9d51f
line wrap: on
line diff
--- a/src/mono_util.sml	Sat Sep 13 20:15:30 2008 -0400
+++ b/src/mono_util.sml	Sun Sep 14 11:02:18 2008 -0400
@@ -290,6 +290,10 @@
                 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 @@
                         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 @@
                                                                  bind (ctx, NamedE (x, n, t, NONE, s))) ctx vis
                                       | DExport _ => ctx
                                       | DTable _ => ctx
+                                      | DSequence _ => ctx
                                       | DDatabase _ => ctx
                             in
                                 S.map2 (mff ctx' ds',