summaryrefslogtreecommitdiff
path: root/src/mono_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-03-22 16:03:45 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-03-22 16:03:45 -0400
commite2f6b11fd4fc806c5cdf88cf669ed5b2d9e34caf (patch)
treee2cac8cf9ae665630df1564c8942ad1d84484ac0 /src/mono_print.sml
parentbac67ca0f668cd381205b243355da8c906c58b5b (diff)
Proper recv
Diffstat (limited to 'src/mono_print.sml')
-rw-r--r--src/mono_print.sml5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml
index a61b5847..cbe90371 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -313,6 +313,11 @@ fun p_exp' par env (e, _) =
string ")[",
p_exp env e,
string "]"]
+ | ERecv (n, e, _) => box [string "Recv(",
+ p_exp env n,
+ string ")[",
+ p_exp env e,
+ string "]"]
and p_exp env = p_exp' false env