Mercurial > urweb
diff src/mono_util.sml @ 1020:dfe34fad749d
RPC uses VM support for call/cc
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 25 Oct 2009 14:07:10 -0400 |
parents | cc956020801b |
children | 7a4a55e05081 |
line wrap: on
line diff
--- a/src/mono_util.sml Sun Oct 25 13:12:24 2009 -0400 +++ b/src/mono_util.sml Sun Oct 25 14:07:10 2009 -0400 @@ -362,14 +362,12 @@ fn e' => (ESignalSource e', loc)) - | EServerCall (s, ek, t, eff) => + | EServerCall (s, t, eff) => S.bind2 (mfe ctx s, fn s' => - S.bind2 (mfe ctx ek, - fn ek' => - S.map2 (mft t, - fn t' => - (EServerCall (s', ek', t', eff), loc)))) + S.map2 (mft t, + fn t' => + (EServerCall (s', t', eff), loc))) | ERecv (s, ek, t) => S.bind2 (mfe ctx s, fn s' =>