Mercurial > urweb

comparison src/elab.sml @ 211:e86411f647c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial type class support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:32:18 -0400
parents cc68da3801bc
children 0343557355fc
comparison
equal deleted inserted replaced
210:f4033abd6ab1 211:e86411f647c6
122 | SgiVal of string * int * con 122 | SgiVal of string * int * con
123 | SgiStr of string * int * sgn 123 | SgiStr of string * int * sgn
124 | SgiSgn of string * int * sgn 124 | SgiSgn of string * int * sgn
125 | SgiConstraint of con * con 125 | SgiConstraint of con * con
126 | SgiTable of int * string * int * con 126 | SgiTable of int * string * int * con
127 | SgiClassAbs of string * int
128 | SgiClass of string * int * con
127 129
128 and sgn' = 130 and sgn' =
129 SgnConst of sgn_item list 131 SgnConst of sgn_item list
130 | SgnVar of int 132 | SgnVar of int
131 | SgnFun of string * int * sgn * sgn 133 | SgnFun of string * int * sgn * sgn