comparison src/source.sml @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 7f871c03e3a1
children 0657e5adc938
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
165 | DView of string * exp 165 | DView of string * exp
166 | DClass of string * kind * con 166 | DClass of string * kind * con
167 | DDatabase of string 167 | DDatabase of string
168 | DCookie of string * con 168 | DCookie of string * con
169 | DStyle of string 169 | DStyle of string
170 | DInitializer of exp
170 171
171 and str' = 172 and str' =
172 StrConst of decl list 173 StrConst of decl list
173 | StrVar of string 174 | StrVar of string
174 | StrProj of str * string 175 | StrProj of str * string