diff src/mono.sml @ 1021:7a4a55e05081

Use call/cc for recv and sleep
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 15:29:21 -0400
parents dfe34fad749d
children 217eb87dde31
line wrap: on
line diff
--- a/src/mono.sml	Sun Oct 25 14:07:10 2009 -0400
+++ b/src/mono.sml	Sun Oct 25 15:29:21 2009 -0400
@@ -115,8 +115,9 @@
        | ESignalSource of exp
                               
        | EServerCall of exp * typ * effect
-       | ERecv of exp * exp * typ
-       | ESleep of exp * exp
+       | ERecv of exp * typ
+       | ESleep of exp
+       | ESpawn of exp
 
 withtype exp = exp' located