comparison src/prepare.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents acabf3935060
children 8a169fc0838b
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
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, e), loc), st)
333 end 333 end
334 | DOnError _ => (d, st)
334 335
335 fun prepare (ds, ps) = 336 fun prepare (ds, ps) =
336 let 337 let
337 val (ds, st) = ListUtil.foldlMap prepDecl St.empty ds 338 val (ds, st) = ListUtil.foldlMap prepDecl St.empty ds
338 in 339 in