Mercurial > urweb

comparison src/elab_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 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,