Mercurial > urweb

comparison src/source.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents 1fb318c17546
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
86 SgiConAbs of string * kind 86 SgiConAbs of string * kind
87 | SgiCon of string * kind option * con 87 | SgiCon of string * kind option * con
88 | SgiDatatype of string * string list * (string * con option) list 88 | SgiDatatype of string * string list * (string * con option) list
89 | SgiDatatypeImp of string * string list * string 89 | SgiDatatypeImp of string * string list * string
90 | SgiVal of string * con 90 | SgiVal of string * con
91 | SgiTable of string * con * exp 91 | SgiTable of string * con * exp * exp
92 | SgiStr of string * sgn 92 | SgiStr of string * sgn
93 | SgiSgn of string * sgn 93 | SgiSgn of string * sgn
94 | SgiInclude of sgn 94 | SgiInclude of sgn
95 | SgiConstraint of con * con 95 | SgiConstraint of con * con
96 | SgiClassAbs of string * kind 96 | SgiClassAbs of string * kind
144 and sgn = sgn' located 144 and sgn = sgn' located
145 and pat = pat' located 145 and pat = pat' located
146 and exp = exp' located 146 and exp = exp' located
147 and edecl = edecl' located 147 and edecl = edecl' located
148 148
149
150
151 datatype decl' = 149 datatype decl' =
152 DCon of string * kind option * con 150 DCon of string * kind option * con
153 | DDatatype of string * string list * (string * con option) list 151 | DDatatype of string * string list * (string * con option) list
154 | DDatatypeImp of string * string list * string 152 | DDatatypeImp of string * string list * string
155 | DVal of string * con option * exp 153 | DVal of string * con option * exp
159 | DFfiStr of string * sgn 157 | DFfiStr of string * sgn
160 | DOpen of string * string list 158 | DOpen of string * string list
161 | DConstraint of con * con 159 | DConstraint of con * con
162 | DOpenConstraints of string * string list 160 | DOpenConstraints of string * string list
163 | DExport of str 161 | DExport of str
164 | DTable of string * con * exp 162 | DTable of string * con * exp * exp
165 | DSequence of string 163 | DSequence of string
166 | DClass of string * kind * con 164 | DClass of string * kind * con
167 | DDatabase of string 165 | DDatabase of string
168 | DCookie of string * con 166 | DCookie of string * con
169 167