comparison src/source.sml @ 338:e976b187d73a

SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 42dfb0d61cf0
children 075b36dbb1a4
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
81 | SgiStr of string * sgn 81 | SgiStr of string * sgn
82 | SgiSgn of string * sgn 82 | SgiSgn of string * sgn
83 | SgiInclude of sgn 83 | SgiInclude of sgn
84 | SgiConstraint of con * con 84 | SgiConstraint of con * con
85 | SgiTable of string * con 85 | SgiTable of string * con
86 | SgiSequence of string
86 | SgiClassAbs of string 87 | SgiClassAbs of string
87 | SgiClass of string * con 88 | SgiClass of string * con
88 89
89 and sgn' = 90 and sgn' =
90 SgnConst of sgn_item list 91 SgnConst of sgn_item list
139 | DOpen of string * string list 140 | DOpen of string * string list
140 | DConstraint of con * con 141 | DConstraint of con * con
141 | DOpenConstraints of string * string list 142 | DOpenConstraints of string * string list
142 | DExport of str 143 | DExport of str
143 | DTable of string * con 144 | DTable of string * con
145 | DSequence of string
144 | DClass of string * con 146 | DClass of string * con
145 | DDatabase of string 147 | DDatabase of string
146 148
147 and str' = 149 and str' =
148 StrConst of decl list 150 StrConst of decl list