summaryrefslogtreecommitdiff
path: root/src/source_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-01 12:25:12 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-01 12:25:12 -0400
commitf7d2bdce780d0333431829a8a788bdb208c0dcbc (patch)
tree5316084519f313741563c016ac6733d03f892475 /src/source_print.sml
parent7628e1d8f7f8199531c9bc08a774c9a9e2bc5d63 (diff)
Disjointness assumptions in expressions
Diffstat (limited to 'src/source_print.sml')
-rw-r--r--src/source_print.sml18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/source_print.sml b/src/source_print.sml
index 3e83dbe8..41051c81 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -78,6 +78,15 @@ fun p_con' par (c, _) =
string "->",
space,
p_con c])
+ | TDisjoint (c1, c2, c3) => parenIf par (box [p_con c1,
+ space,
+ string "~",
+ space,
+ p_con c2,
+ space,
+ string "->",
+ space,
+ p_con c3])
| TRecord (CRecord xcs, _) => box [string "{",
p_list (fn (x, c) =>
box [p_name x,
@@ -202,6 +211,15 @@ fun p_exp' par (e, _) =
string "=>",
space,
p_exp e])
+ | EDisjoint (c1, c2, e) => parenIf par (box [p_con c1,
+ space,
+ string "~",
+ space,
+ p_con c2,
+ space,
+ string "=>",
+ space,
+ p_exp e])
| ERecord xes => box [string "{",
p_list (fn (x, e) =>