Mercurial > urweb
comparison src/source_print.sml @ 1294:b4480a56cab7
Server-side 'onError'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 07 Sep 2010 08:28:07 -0400 |
parents | c316ca3c9ec6 |
children | 4a03aa3251cb |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
670 space, | 670 space, |
671 p_exp e2] | 671 p_exp e2] |
672 | DPolicy e1 => box [string "policy", | 672 | DPolicy e1 => box [string "policy", |
673 space, | 673 space, |
674 p_exp e1] | 674 p_exp e1] |
675 | DOnError _ => string "ONERROR" | |
675 | 676 |
676 and p_str (str, _) = | 677 and p_str (str, _) = |
677 case str of | 678 case str of |
678 StrConst ds => box [string "struct", | 679 StrConst ds => box [string "struct", |
679 newline, | 680 newline, |