Mercurial > urweb
diff src/mono_print.sml @ 1020:dfe34fad749d
RPC uses VM support for call/cc
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 25 Oct 2009 14:07:10 -0400 |
parents | 8e540df3294d |
children | 7a4a55e05081 |
line wrap: on
line diff
--- a/src/mono_print.sml Sun Oct 25 13:12:24 2009 -0400 +++ b/src/mono_print.sml Sun Oct 25 14:07:10 2009 -0400 @@ -335,11 +335,9 @@ p_exp env e, string ")"] - | EServerCall (n, e, _, _) => box [string "Server(", - p_exp env n, - string ")[", - p_exp env e, - string "]"] + | EServerCall (n, _, _) => box [string "Server(", + p_exp env n, + string ")"] | ERecv (n, e, _) => box [string "Recv(", p_exp env n, string ")[",