Mercurial > urweb
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, |