Mercurial > urweb
diff src/mono_print.sml @ 670:f73913d97a40
Proper recv
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Mar 2009 16:03:45 -0400 |
parents | 5891f47d7cff |
children | 9a2c18dab11d |
line wrap: on
line diff
--- a/src/mono_print.sml Sun Mar 22 15:16:34 2009 -0400 +++ b/src/mono_print.sml Sun Mar 22 16:03:45 2009 -0400 @@ -313,6 +313,11 @@ 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