diff src/mono_util.sml @ 910:8e540df3294d

grid1 compiles but gets stuck in JS
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 13:57:56 -0400
parents 7a4b026e45dd
children cc956020801b
line wrap: on
line diff
--- a/src/mono_util.sml	Sat Aug 22 16:32:31 2009 -0400
+++ b/src/mono_util.sml	Tue Aug 25 13:57:56 2009 -0400
@@ -362,16 +362,14 @@
                      fn e' =>
                         (ESignalSource e', loc))
 
-              | EServerCall (s, ek, t, eff, ue) =>
+              | EServerCall (s, ek, t, eff) =>
                 S.bind2 (mfe ctx s,
                          fn s' =>
                             S.bind2 (mfe ctx ek,
                                   fn ek' =>
-                                     S.bind2 (mft t,
+                                     S.map2 (mft t,
                                           fn t' =>
-                                             S.map2 (mfe ctx ue,
-                                                     fn ue' =>
-                                                        (EServerCall (s', ek', t', eff, ue'), loc)))))
+                                             (EServerCall (s', ek', t', eff), loc))))
               | ERecv (s, ek, t) =>
                 S.bind2 (mfe ctx s,
                       fn s' =>