Mercurial > urweb
diff src/source_print.sml @ 628:12b73f3c108e
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 24 Feb 2009 12:01:24 -0500 |
| parents | 588b9d16b00a |
| children | e68de2a5506b |
line wrap: on
line diff
--- a/src/source_print.sml Sun Feb 22 17:39:55 2009 -0500 +++ b/src/source_print.sml Tue Feb 24 12:01:24 2009 -0500 @@ -98,6 +98,17 @@ string "}"] | TRecord c => box [string "$", p_con' true c] + | TDisjoint (c1, c2, c3) => parenIf par (box [string "[", + p_con c1, + space, + string "~", + space, + p_con c2, + string "]", + space, + string "=>", + space, + p_con c3]) | CVar (ss, s) => p_list_sep (string ".") string (ss @ [s]) | CApp (c1, c2) => parenIf par (box [p_con c1, @@ -121,15 +132,7 @@ string "=>", space, p_con c]) - | CDisjoint (c1, c2, c3) => parenIf par (box [p_con c1, - space, - string "~", - space, - p_con c2, - space, - string "=>", - space, - p_con c3]) + | CName s => box [string "#", string s]