Mercurial > urweb
comparison src/elab.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 |
---|---|
168 | DView of int * string * int * exp * con | 168 | DView of int * string * int * exp * con |
169 | DClass of string * int * kind * con | 169 | DClass of string * int * kind * con |
170 | DDatabase of string | 170 | DDatabase of string |
171 | DCookie of int * string * int * con | 171 | DCookie of int * string * int * con |
172 | DStyle of int * string * int | 172 | DStyle of int * string * int |
173 | DInitializer of exp | |
173 | 174 |
174 and str' = | 175 and str' = |
175 StrConst of decl list | 176 StrConst of decl list |
176 | StrVar of int | 177 | StrVar of int |
177 | StrProj of str * string | 178 | StrProj of str * string |