Mercurial > urweb
diff src/mono_util.sml @ 736:796e42c93c48
Cookie signatures for RPCs
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 23 Apr 2009 16:13:02 -0400 |
parents | 7c6b6c3c7b79 |
children | f7e2026dd5ae |
line wrap: on
line diff
--- a/src/mono_util.sml Thu Apr 23 14:10:10 2009 -0400 +++ b/src/mono_util.sml Thu Apr 23 16:13:02 2009 -0400 @@ -354,14 +354,14 @@ fn e' => (ESignalSource e', loc)) - | EServerCall (s, ek, t) => + | EServerCall (s, ek, 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'), loc)))) + (EServerCall (s', ek', t', eff), loc)))) | ERecv (s, ek, t) => S.bind2 (mfe ctx s, fn s' =>