Mercurial > urweb
comparison src/expl_print.sml @ 1294:b4480a56cab7
Server-side 'onError'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 07 Sep 2010 08:28:07 -0400 |
parents | cd8d2c73ccf4 |
children | 1aa9629e3a4c |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
728 space, | 728 space, |
729 p_exp env e2] | 729 p_exp env e2] |
730 | DPolicy e1 => box [string "policy", | 730 | DPolicy e1 => box [string "policy", |
731 space, | 731 space, |
732 p_exp env e1] | 732 p_exp env e1] |
733 | DOnError _ => string "ONERROR" | |
733 | 734 |
734 and p_str env (str, _) = | 735 and p_str env (str, _) = |
735 case str of | 736 case str of |
736 StrConst ds => box [string "struct", | 737 StrConst ds => box [string "struct", |
737 newline, | 738 newline, |