diff src/mono.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.sml	Sun Oct 25 13:12:24 2009 -0400
+++ b/src/mono.sml	Sun Oct 25 14:07:10 2009 -0400
@@ -113,8 +113,8 @@
        | ESignalReturn of exp
        | ESignalBind of exp * exp
        | ESignalSource of exp
-
-       | EServerCall of exp * exp * typ * effect
+                              
+       | EServerCall of exp * typ * effect
        | ERecv of exp * exp * typ
        | ESleep of exp * exp