Mercurial > urweb

diff src/mono_reduce.sml @ 695:500e93aa436f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sleep and better Scriptcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 15:56:47 -0400
parents 7ea0df9e56b6
children 755a71c99be5
line wrap: on
line diff
--- a/src/mono_reduce.sml	Sat Apr 04 14:55:36 2009 -0400
+++ b/src/mono_reduce.sml	Sat Apr 04 15:56:47 2009 -0400
@@ -88,6 +88,7 @@
       | ESignalSource e => impure e
       | EServerCall _ => true
       | ERecv _ => true
+      | ESleep _ => true
 
 
 val liftExpInExp = Monoize.liftExpInExp
@@ -361,6 +362,7 @@
 
                       | EServerCall (e, ek, _) => summarize d e @ summarize d ek @ [Unsure]
                       | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure]
+                      | ESleep (e, ek) => summarize d e @ summarize d ek @ [Unsure]
             in
                 (*Print.prefaces "Summarize"
                                [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)),