summaryrefslogtreecommitdiff
path: root/src/mono_reduce.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/mono_reduce.sml')
-rw-r--r--src/mono_reduce.sml6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index d09c957c..04cd199e 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -112,6 +112,7 @@ fun impure (e, _) =
| EServerCall _ => true
| ERecv _ => true
| ESleep _ => true
+ | ESpawn _ => true
val liftExpInExp = Monoize.liftExpInExp
@@ -451,8 +452,9 @@ fun reduce file =
| 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)),