comparison src/prepare.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 7a31e0cf25e9
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
323 | DDatabase _ => (d, st) 323 | DDatabase _ => (d, st)
324 | DPreparedStatements _ => (d, st) 324 | DPreparedStatements _ => (d, st)
325 | DJavaScript _ => (d, st) 325 | DJavaScript _ => (d, st)
326 | DCookie _ => (d, st) 326 | DCookie _ => (d, st)
327 | DStyle _ => (d, st) 327 | DStyle _ => (d, st)
328 | DInitializer e => 328 | DTask (tk, e) =>
329 let 329 let
330 val (e, st) = prepExp (e, st) 330 val (e, st) = prepExp (e, st)
331 in 331 in
332 ((DInitializer e, loc), st) 332 ((DTask (tk, e), loc), st)
333 end 333 end
334 334
335 fun prepare (ds, ps) = 335 fun prepare (ds, ps) =
336 let 336 let
337 val (ds, st) = ListUtil.foldlMap prepDecl St.empty ds 337 val (ds, st) = ListUtil.foldlMap prepDecl St.empty ds