Mercurial > urweb

comparison src/elab.sml @ 205:cb8f69556975

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating 'SELECT *' queries
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 15:24:59 -0400
parents dd82457fda82
children cc68da3801bc
comparison
equal deleted inserted replaced
204:241c9a0e3397 205:cb8f69556975
117 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 117 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
118 | SgiVal of string * int * con 118 | SgiVal of string * int * con
119 | SgiStr of string * int * sgn 119 | SgiStr of string * int * sgn
120 | SgiSgn of string * int * sgn 120 | SgiSgn of string * int * sgn
121 | SgiConstraint of con * con 121 | SgiConstraint of con * con
122 | SgiTable of string * int * con 122 | SgiTable of int * string * int * con
123 123
124 and sgn' = 124 and sgn' =
125 SgnConst of sgn_item list 125 SgnConst of sgn_item list
126 | SgnVar of int 126 | SgnVar of int
127 | SgnFun of string * int * sgn * sgn 127 | SgnFun of string * int * sgn * sgn
141 | DSgn of string * int * sgn 141 | DSgn of string * int * sgn
142 | DStr of string * int * sgn * str 142 | DStr of string * int * sgn * str
143 | DFfiStr of string * int * sgn 143 | DFfiStr of string * int * sgn
144 | DConstraint of con * con 144 | DConstraint of con * con
145 | DExport of int * sgn * str 145 | DExport of int * sgn * str
146 | DTable of string * int * con 146 | DTable of int * string * int * con
147 147
148 and str' = 148 and str' =
149 StrConst of decl list 149 StrConst of decl list
150 | StrVar of int 150 | StrVar of int
151 | StrProj of str * string 151 | StrProj of str * string