Mercurial > urweb

diff src/mono_util.sml @ 905:7a4b026e45dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Aug 2009 16:13:27 -0400
parents 493f44759879
children 8e540df3294d
line wrap: on
line diff
--- a/src/mono_util.sml	Thu Aug 06 15:23:04 2009 -0400
+++ b/src/mono_util.sml	Sun Aug 09 16:13:27 2009 -0400
@@ -362,14 +362,16 @@
                      fn e' =>
                         (ESignalSource e', loc))
 
-              | EServerCall (s, ek, t, eff) =>
+              | EServerCall (s, ek, t, eff, ue) =>
                 S.bind2 (mfe ctx s,
                          fn s' =>
                             S.bind2 (mfe ctx ek,
                                   fn ek' =>
-                                     S.map2 (mft t,
+                                     S.bind2 (mft t,
                                           fn t' =>
-                                             (EServerCall (s', ek', t', eff), loc))))
+                                             S.map2 (mfe ctx ue,
+                                                     fn ue' =>
+                                                        (EServerCall (s', ek', t', eff, ue'), loc)))))
               | ERecv (s, ek, t) =>
                 S.bind2 (mfe ctx s,
                       fn s' =>