Mercurial > urweb

diff src/mono_reduce.sml @ 1021:7a4a55e05081

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use call/cc for recv and sleep
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 15:29:21 -0400
parents dfe34fad749d
children 217eb87dde31
line wrap: on
line diff
--- a/src/mono_reduce.sml	Sun Oct 25 14:07:10 2009 -0400
+++ b/src/mono_reduce.sml	Sun Oct 25 15:29:21 2009 -0400
@@ -112,6 +112,7 @@
       | EServerCall _ => true
       | ERecv _ => true
       | ESleep _ => true
+      | ESpawn _ => true
 
 val liftExpInExp = Monoize.liftExpInExp
 
@@ -451,8 +452,9 @@
                       | ESignalSource e => summarize d e
 
                       | EServerCall (e, _, _) => summarize d e @ [Unsure]
-                      | ERecv (e, _, _) => summarize d e @ [Unsure]
-                      | ESleep (e, _) => summarize d e @ [Unsure]
+                      | ERecv (e, _) => summarize d e @ [Unsure]
+                      | ESleep e => summarize d e @ [Unsure]
+                      | ESpawn e => summarize d e @ [Unsure]
             in
                 (*Print.prefaces "Summarize"
                                [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)),