Mercurial > urweb
diff src/mono_util.sml @ 670:f73913d97a40
Proper recv
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Mar 2009 16:03:45 -0400 |
parents | 4a125bbc602d |
children | 500e93aa436f |
line wrap: on
line diff
--- a/src/mono_util.sml Sun Mar 22 15:16:34 2009 -0400 +++ b/src/mono_util.sml Sun Mar 22 16:03:45 2009 -0400 @@ -358,6 +358,14 @@ S.map2 (mft t, fn t' => (EServerCall (s', ek', t'), loc)))) + | ERecv (s, ek, t) => + S.bind2 (mfe ctx s, + fn s' => + S.bind2 (mfe ctx ek, + fn ek' => + S.map2 (mft t, + fn t' => + (ERecv (s', ek', t'), loc)))) in mfe end