diff src/corify.sml @ 338:e976b187d73a

SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 4260ad920c36
children 075b36dbb1a4
line wrap: on
line diff
--- a/src/corify.sml	Sat Sep 13 20:15:30 2008 -0400
+++ b/src/corify.sml	Sun Sep 14 11:02:18 2008 -0400
@@ -863,6 +863,13 @@
         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 @@
                              | 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