comparison src/reduce_local.sml @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 3bc726a822fb
children 0657e5adc938
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
249 | DSequence _ => d 249 | DSequence _ => d
250 | DView _ => d 250 | DView _ => d
251 | DDatabase _ => d 251 | DDatabase _ => d
252 | DCookie _ => d 252 | DCookie _ => d
253 | DStyle _ => d 253 | DStyle _ => d
254 | DInitializer e => (DInitializer (exp [] e), loc)
254 in 255 in
255 map doDecl file 256 map doDecl file
256 end 257 end
257 258
258 val reduceExp = exp [] 259 val reduceExp = exp []