diff src/cjrize.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 10114d7b7477
children 217eb87dde31
line wrap: on
line diff
--- a/src/cjrize.sml	Sun Oct 25 14:07:10 2009 -0400
+++ b/src/cjrize.sml	Sun Oct 25 15:29:21 2009 -0400
@@ -479,6 +479,7 @@
       | L.EServerCall _ => raise Fail "Cjrize EServerCall"
       | L.ERecv _ => raise Fail "Cjrize ERecv"
       | L.ESleep _ => raise Fail "Cjrize ESleep"
+      | L.ESpawn _ => raise Fail "Cjrize ESpawn"
 
 fun cifyDecl ((d, loc), sm) =
     case d of