Mercurial > urweb

diff src/mono_util.sml @ 608:330a7de47914

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Export RPC functions and push RPC calls through to Mono
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 09:27:36 -0500
parents 1e589a60b86f
children 56aaa1941dad
line wrap: on
line diff
--- a/src/mono_util.sml	Sat Feb 14 14:07:56 2009 -0500
+++ b/src/mono_util.sml	Sun Feb 15 09:27:36 2009 -0500
@@ -349,6 +349,13 @@
                 S.map2 (mfe ctx e,
                      fn e' =>
                         (ESignalSource e', loc))
+
+              | EServerCall (n, es, ek) =>
+                S.bind2 (ListUtil.mapfold (fn e => mfe ctx e) es,
+                      fn es' =>
+                         S.map2 (mfe ctx ek,
+                                 fn ek' =>
+                                    (EServerCall (n, es', ek'), loc)))
     in
         mfe
     end