comparison src/prepare.sml @ 1348:8a169fc0838b

Change tasks to support parametric code; add clientLeaves
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 14:17:45 -0500
parents b4480a56cab7
children 0577be31a435
comparison
equal deleted inserted replaced
1347:b106ca8200b1 1348:8a169fc0838b
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 | DTask (tk, e) => 328 | DTask (tk, x1, x2, e) =>
329 let 329 let
330 val (e, st) = prepExp (e, st) 330 val (e, st) = prepExp (e, st)
331 in 331 in
332 ((DTask (tk, e), loc), st) 332 ((DTask (tk, x1, x2, e), loc), st)
333 end 333 end
334 | DOnError _ => (d, st) 334 | DOnError _ => (d, st)
335 335
336 fun prepare (ds, ps) = 336 fun prepare (ds, ps) =
337 let 337 let