Mercurial > urweb

comparison src/source.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
79 | SgiVal of string * con 79 | SgiVal of string * con
80 | SgiStr of string * sgn 80 | SgiStr of string * sgn
81 | SgiSgn of string * sgn 81 | SgiSgn of string * sgn
82 | SgiInclude of sgn 82 | SgiInclude of sgn
83 | SgiConstraint of con * con 83 | SgiConstraint of con * con
84 | SgiClassAbs of string 84 | SgiClassAbs of string * kind
85 | SgiClass of string * con 85 | SgiClass of string * kind * con
86 86
87 and sgn' = 87 and sgn' =
88 SgnConst of sgn_item list 88 SgnConst of sgn_item list
89 | SgnVar of string 89 | SgnVar of string
90 | SgnFun of string * sgn * sgn 90 | SgnFun of string * sgn * sgn
152 | DConstraint of con * con 152 | DConstraint of con * con
153 | DOpenConstraints of string * string list 153 | DOpenConstraints of string * string list
154 | DExport of str 154 | DExport of str
155 | DTable of string * con 155 | DTable of string * con
156 | DSequence of string 156 | DSequence of string
157 | DClass of string * con 157 | DClass of string * kind * con
158 | DDatabase of string 158 | DDatabase of string
159 | DCookie of string * con 159 | DCookie of string * con
160 160
161 and str' = 161 and str' =
162 StrConst of decl list 162 StrConst of decl list