Mercurial > urweb

comparison src/elab.sml @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 9601c717d2f3
children 075b36dbb1a4
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
127 | SgiVal of string * int * con 127 | SgiVal of string * int * con
128 | SgiStr of string * int * sgn 128 | SgiStr of string * int * sgn
129 | SgiSgn of string * int * sgn 129 | SgiSgn of string * int * sgn
130 | SgiConstraint of con * con 130 | SgiConstraint of con * con
131 | SgiTable of int * string * int * con 131 | SgiTable of int * string * int * con
132 | SgiSequence of int * string * int
132 | SgiClassAbs of string * int 133 | SgiClassAbs of string * int
133 | SgiClass of string * int * con 134 | SgiClass of string * int * con
134 135
135 and sgn' = 136 and sgn' =
136 SgnConst of sgn_item list 137 SgnConst of sgn_item list
153 | DStr of string * int * sgn * str 154 | DStr of string * int * sgn * str
154 | DFfiStr of string * int * sgn 155 | DFfiStr of string * int * sgn
155 | DConstraint of con * con 156 | DConstraint of con * con
156 | DExport of int * sgn * str 157 | DExport of int * sgn * str
157 | DTable of int * string * int * con 158 | DTable of int * string * int * con
159 | DSequence of int * string * int
158 | DClass of string * int * con 160 | DClass of string * int * con
159 | DDatabase of string 161 | DDatabase of string
160 162
161 and str' = 163 and str' =
162 StrConst of decl list 164 StrConst of decl list