Mercurial > urweb

comparison src/elab.sml @ 563:44958d74c43f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial conversion to arbitrary-kind classes
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 10:03:31 -0500
parents ae03d09043c1
children 8998114760c1
comparison
equal deleted inserted replaced
562:6daa59a55c43 563:44958d74c43f
134 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 134 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
135 | SgiVal of string * int * con 135 | SgiVal of string * int * con
136 | SgiStr of string * int * sgn 136 | SgiStr of string * int * sgn
137 | SgiSgn of string * int * sgn 137 | SgiSgn of string * int * sgn
138 | SgiConstraint of con * con 138 | SgiConstraint of con * con
139 | SgiClassAbs of string * int 139 | SgiClassAbs of string * int * kind
140 | SgiClass of string * int * con 140 | SgiClass of string * int * kind * con
141 141
142 and sgn' = 142 and sgn' =
143 SgnConst of sgn_item list 143 SgnConst of sgn_item list
144 | SgnVar of int 144 | SgnVar of int
145 | SgnFun of string * int * sgn * sgn 145 | SgnFun of string * int * sgn * sgn
161 | DFfiStr of string * int * sgn 161 | DFfiStr of string * int * sgn
162 | DConstraint of con * con 162 | DConstraint of con * con
163 | DExport of int * sgn * str 163 | DExport of int * sgn * str
164 | DTable of int * string * int * con 164 | DTable of int * string * int * con
165 | DSequence of int * string * int 165 | DSequence of int * string * int
166 | DClass of string * int * con 166 | DClass of string * int * kind * con
167 | DDatabase of string 167 | DDatabase of string
168 | DCookie of int * string * int * con 168 | DCookie of int * string * int * con
169 169
170 and str' = 170 and str' =
171 StrConst of decl list 171 StrConst of decl list