Mercurial > urweb

comparison src/expl_print.sml @ 1294:b4480a56cab7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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,