From 4d6b4140314ee47c6278d75a196fb81da3fedc26 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 15 Feb 2009 09:27:36 -0500
Subject: Export RPC functions and push RPC calls through to Mono

---
 src/mono_util.sml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 9ce3293b..13e0d32c 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -349,6 +349,13 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                 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
-- 
cgit v1.2.3