comparison src/mono_print.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents acabf3935060
children 02fc16faecf3
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
525 space, 525 space,
526 p_exp env e2] 526 p_exp env e2]
527 | DPolicy p => box [string "policy", 527 | DPolicy p => box [string "policy",
528 space, 528 space,
529 p_policy env p] 529 p_policy env p]
530 530 | DOnError _ => string "ONERROR"
531 531
532 fun p_file env file = 532 fun p_file env file =
533 let 533 let
534 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 534 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
535 (p_decl env d, 535 (p_decl env d,