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