Mercurial > urweb

diff src/mono_util.sml @ 1848:e15234fbb163

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.tryRpc
author Adam Chlipala <adam@chlipala.net>
date Tue, 16 Apr 2013 10:55:48 -0400
parents 8958b580d026
children 98895243b5b6
line wrap: on
line diff
--- a/src/mono_util.sml	Mon Apr 01 10:13:49 2013 -0400
+++ b/src/mono_util.sml	Tue Apr 16 10:55:48 2013 -0400
@@ -380,12 +380,12 @@
                      fn e' =>
                         (ESignalSource e', loc))
 
-              | EServerCall (s, t, eff) =>
+              | EServerCall (s, t, eff, fm) =>
                 S.bind2 (mfe ctx s,
                          fn s' =>
                             S.map2 (mft t,
                                   fn t' =>
-                                     (EServerCall (s', t', eff), loc)))
+                                     (EServerCall (s', t', eff, fm), loc)))
               | ERecv (s, t) =>
                 S.bind2 (mfe ctx s,
                       fn s' =>
@@ -510,7 +510,7 @@
                | ESignalReturn e1 => appl e1
                | ESignalBind (e1, e2) => (appl e1; appl e2)
                | ESignalSource e1 => appl e1
-               | EServerCall (e1, _, _) => appl e1
+               | EServerCall (e1, _, _, _) => appl e1
                | ERecv (e1, _) => appl e1
                | ESleep e1 => appl e1
                | ESpawn e1 => appl e1)