comparison 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
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
85 body : exp, 85 body : exp,
86 initial : exp, 86 initial : exp,
87 prepared : int option } 87 prepared : int option }
88 | EDml of { dml : exp, 88 | EDml of { dml : exp,
89 prepared : int option } 89 prepared : int option }
90 | ENextval of { seq : exp,
91 prepared : int option }
90 92
91 withtype exp = exp' located 93 withtype exp = exp' located
92 94
93 datatype decl' = 95 datatype decl' =
94 DStruct of int * (string * typ) list 96 DStruct of int * (string * typ) list
97 | DVal of string * int * typ * exp 99 | DVal of string * int * typ * exp
98 | DFun of string * int * (string * typ) list * typ * exp 100 | DFun of string * int * (string * typ) list * typ * exp
99 | DFunRec of (string * int * (string * typ) list * typ * exp) list 101 | DFunRec of (string * int * (string * typ) list * typ * exp) list
100 102
101 | DTable of string * (string * typ) list 103 | DTable of string * (string * typ) list
104 | DSequence of string
102 | DDatabase of string 105 | DDatabase of string
103 | DPreparedStatements of (string * int) list 106 | DPreparedStatements of (string * int) list
104 107
105 withtype decl = decl' located 108 withtype decl = decl' located
106 109