Mercurial > urweb
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