Mercurial > urweb
comparison src/elab_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 | d008c4c43a0a |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
814 space, | 814 space, |
815 p_exp env e2] | 815 p_exp env e2] |
816 | DPolicy e1 => box [string "policy", | 816 | DPolicy e1 => box [string "policy", |
817 space, | 817 space, |
818 p_exp env e1] | 818 p_exp env e1] |
819 | DOnError _ => string "ONERROR" | |
819 | 820 |
820 and p_str env (str, _) = | 821 and p_str env (str, _) = |
821 case str of | 822 case str of |
822 StrConst ds => box [string "struct", | 823 StrConst ds => box [string "struct", |
823 newline, | 824 newline, |