comparison src/reduce_local.sml @ 1075:0657e5adc938

Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children c316ca3c9ec6
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
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 | DTask (e1, e2) => (DTask (exp [] e1, exp [] e2), loc)
255 in 255 in
256 map doDecl file 256 map doDecl file
257 end 257 end
258 258
259 val reduceExp = exp [] 259 val reduceExp = exp []