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