From aed3aa32e62846a16da55fc7be4cecba92ed5e2b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Mar 2009 20:34:21 -0400
Subject: Conversion of functions to CPS, to facilitate ServerCall

---
 src/mono_util.sml | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 00113c9b..dd5107c6 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -350,12 +350,14 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                      fn e' =>
                         (ESignalSource e', loc))
 
-              | EServerCall (n, ek, t) =>
-                S.bind2 (mfe ctx ek,
-                      fn ek' =>
-                         S.map2 (mft t,
-                              fn t' =>
-                                 (EServerCall (n, ek', t'), loc)))
+              | EServerCall (s, ek, t) =>
+                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))))
     in
         mfe
     end
-- 
cgit v1.2.3