Mercurial > urweb

comparison src/elab.sml @ 213:0343557355fc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explifying type classes
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:45:23 -0400
parents e86411f647c6
children 19e5791923d0
comparison
equal deleted inserted replaced
212:ba4d7c33a45f 213:0343557355fc
148 | DStr of string * int * sgn * str 148 | DStr of string * int * sgn * str
149 | DFfiStr of string * int * sgn 149 | DFfiStr of string * int * sgn
150 | DConstraint of con * con 150 | DConstraint of con * con
151 | DExport of int * sgn * str 151 | DExport of int * sgn * str
152 | DTable of int * string * int * con 152 | DTable of int * string * int * con
153 | DClass of string * int * con
153 154
154 and str' = 155 and str' =
155 StrConst of decl list 156 StrConst of decl list
156 | StrVar of int 157 | StrVar of int
157 | StrProj of str * string 158 | StrProj of str * string