comparison src/core_print.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents 56bd4a4f6e66
children a99b743a3087
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
626 space, 626 space,
627 p_exp env e2] 627 p_exp env e2]
628 | DPolicy e1 => box [string "policy", 628 | DPolicy e1 => box [string "policy",
629 space, 629 space,
630 p_exp env e1] 630 p_exp env e1]
631 | DOnError _ => string "ONERROR"
631 632
632 fun p_file env file = 633 fun p_file env file =
633 let 634 let
634 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 635 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
635 (p_decl env d, 636 (p_decl env d,