comparison src/reduce_local.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents 3b22c3c67f35
children 0577be31a435
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
376 | DDatabase _ => d 376 | DDatabase _ => d
377 | DCookie _ => d 377 | DCookie _ => d
378 | DStyle _ => d 378 | DStyle _ => d
379 | DTask (e1, e2) => (DTask (exp [] e1, exp [] e2), loc) 379 | DTask (e1, e2) => (DTask (exp [] e1, exp [] e2), loc)
380 | DPolicy e1 => (DPolicy (exp [] e1), loc) 380 | DPolicy e1 => (DPolicy (exp [] e1), loc)
381 | DOnError _ => d
381 in 382 in
382 map doDecl file 383 map doDecl file
383 end 384 end
384 385
385 val reduceExp = exp [] 386 val reduceExp = exp []