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' =>