Mercurial > urweb
diff src/mono_reduce.sml @ 670:f73913d97a40
Proper recv
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 22 Mar 2009 16:03:45 -0400 |
| parents | b0c1a46b1f15 |
| children | 01b6f2ee2ef0 |
line wrap: on
line diff
--- a/src/mono_reduce.sml Sun Mar 22 15:16:34 2009 -0400 +++ b/src/mono_reduce.sml Sun Mar 22 16:03:45 2009 -0400 @@ -85,6 +85,7 @@ | ESignalBind (e1, e2) => impure e1 orelse impure e2 | ESignalSource e => impure e | EServerCall _ => true + | ERecv _ => true val liftExpInExp = Monoize.liftExpInExp @@ -355,6 +356,7 @@ | ESignalSource e => summarize d e | EServerCall (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] + | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] in (*Print.prefaces "Summarize" [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)),