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,