Mercurial > urweb
diff src/elab_print.sml @ 345:b85e6ba56618
Merge CDisjoint and TDisjoint
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 04 Oct 2008 15:50:28 -0400 |
| parents | 075b36dbb1a4 |
| children | dfc8c991abd0 |
line wrap: on
line diff
--- a/src/elab_print.sml Thu Sep 18 15:01:01 2008 -0400 +++ b/src/elab_print.sml Sat Oct 04 15:50:28 2008 -0400 @@ -80,13 +80,13 @@ string "->", space, p_con (E.pushCRel env x k) c]) - | TDisjoint (_, c1, c2, c3) => parenIf par (box [p_con env c1, + | CDisjoint (_, c1, c2, c3) => parenIf par (box [p_con env c1, space, string "~", space, p_con env c2, space, - string "->", + string "=>", space, p_con env c3]) | TRecord (CRecord (_, xcs), _) => box [string "{", @@ -139,15 +139,6 @@ string "=>", space, p_con (E.pushCRel env x k) c]) - | CDisjoint (c1, c2, c3) => parenIf par (box [p_con env c1, - space, - string "~", - space, - p_con env c2, - space, - string "=>", - space, - p_con env c3]) | CName s => box [string "#", string s]