From 2385b6b946eb1215d75a3dddccb05aaf8f605ba3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 25 Oct 2009 15:29:21 -0400
Subject: Use call/cc for recv and sleep

---
 src/mono_util.sml | 23 ++++++++++++-----------
 1 file changed, 12 insertions(+), 11 deletions(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 24024470..f8e45dc3 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -368,20 +368,21 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                             S.map2 (mft t,
                                   fn t' =>
                                      (EServerCall (s', t', eff), loc)))
-              | ERecv (s, ek, t) =>
+              | ERecv (s, t) =>
                 S.bind2 (mfe ctx s,
                       fn s' =>
-                         S.bind2 (mfe ctx ek,
-                               fn ek' =>
-                                  S.map2 (mft t,
-                                       fn t' =>
-                                          (ERecv (s', ek', t'), loc))))
-              | ESleep (s, ek) =>
-                S.bind2 (mfe ctx s,
+                         S.map2 (mft t,
+                              fn t' =>
+                                 (ERecv (s', t'), loc)))
+              | ESleep s =>
+                S.map2 (mfe ctx s,
+                      fn s' =>
+                         (ESleep s', loc))
+
+              | ESpawn s =>
+                S.map2 (mfe ctx s,
                       fn s' =>
-                         S.map2 (mfe ctx ek,
-                               fn ek' =>
-                                  (ESleep (s', ek'), loc)))
+                         (ESpawn s', loc))
 
         and mfmode ctx mode =
             case mode of
-- 
cgit v1.2.3