diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-25 14:07:10 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-25 14:07:10 -0400 |
commit | 5a88b41a6655f601c989ae94ce1fc8bb391ca630 (patch) | |
tree | 95685ca6f24d0e3511588ae55bbdd8a121f97994 /src/mono.sml | |
parent | 31da370dd5fae72ddf756aa5ef54241b099fd617 (diff) |
RPC uses VM support for call/cc
Diffstat (limited to 'src/mono.sml')
-rw-r--r-- | src/mono.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mono.sml b/src/mono.sml index 64ed448c..7ce6cee1 100644 --- a/src/mono.sml +++ b/src/mono.sml @@ -113,8 +113,8 @@ datatype exp' = | 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 |