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