Mercurial > urweb
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