diff src/cjr.sml @ 338:e976b187d73a

SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 04ebfe929a98
children 7abb28e9d51f
line wrap: on
line diff
--- a/src/cjr.sml	Sat Sep 13 20:15:30 2008 -0400
+++ b/src/cjr.sml	Sun Sep 14 11:02:18 2008 -0400
@@ -87,6 +87,8 @@
                      prepared : int option }
        | EDml of { dml : exp,
                    prepared : int option }
+       | ENextval of { seq : exp,
+                       prepared : int option }
 
 withtype exp = exp' located
 
@@ -99,6 +101,7 @@
        | DFunRec of (string * int * (string * typ) list * typ * exp) list
 
        | DTable of string * (string * typ) list
+       | DSequence of string
        | DDatabase of string
        | DPreparedStatements of (string * int) list