Mercurial > urweb

comparison src/elab.sml @ 459:f542bc3133dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents b77863cd0be2
children d34834af4512
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
137 | SgiConstraint of con * con 137 | SgiConstraint of con * con
138 | SgiTable of int * string * int * con 138 | SgiTable of int * string * int * con
139 | SgiSequence of int * string * int 139 | SgiSequence of int * string * int
140 | SgiClassAbs of string * int 140 | SgiClassAbs of string * int
141 | SgiClass of string * int * con 141 | SgiClass of string * int * con
142 | SgiCookie of int * string * int * con
142 143
143 and sgn' = 144 and sgn' =
144 SgnConst of sgn_item list 145 SgnConst of sgn_item list
145 | SgnVar of int 146 | SgnVar of int
146 | SgnFun of string * int * sgn * sgn 147 | SgnFun of string * int * sgn * sgn
164 | DExport of int * sgn * str 165 | DExport of int * sgn * str
165 | DTable of int * string * int * con 166 | DTable of int * string * int * con
166 | DSequence of int * string * int 167 | DSequence of int * string * int
167 | DClass of string * int * con 168 | DClass of string * int * con
168 | DDatabase of string 169 | DDatabase of string
170 | DCookie of int * string * int * con
169 171
170 and str' = 172 and str' =
171 StrConst of decl list 173 StrConst of decl list
172 | StrVar of int 174 | StrVar of int
173 | StrProj of str * string 175 | StrProj of str * string