Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
694:7ea0df9e56b6 695:500e93aa436f
86 | ESignalReturn e => impure e 86 | ESignalReturn e => impure e
87 | ESignalBind (e1, e2) => impure e1 orelse impure e2 87 | ESignalBind (e1, e2) => impure e1 orelse impure e2
88 | ESignalSource e => impure e 88 | ESignalSource e => impure e
89 | EServerCall _ => true 89 | EServerCall _ => true
90 | ERecv _ => true 90 | ERecv _ => true
91 | ESleep _ => true
91 92
92 93
93 val liftExpInExp = Monoize.liftExpInExp 94 val liftExpInExp = Monoize.liftExpInExp
94 95
95 val subExpInExp' = 96 val subExpInExp' =
359 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 360 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2
360 | ESignalSource e => summarize d e 361 | ESignalSource e => summarize d e
361 362
362 | EServerCall (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] 363 | EServerCall (e, ek, _) => summarize d e @ summarize d ek @ [Unsure]
363 | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] 364 | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure]
365 | ESleep (e, ek) => summarize d e @ summarize d ek @ [Unsure]
364 in 366 in
365 (*Print.prefaces "Summarize" 367 (*Print.prefaces "Summarize"
366 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), 368 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)),
367 ("d", Print.PD.string (Int.toString d)), 369 ("d", Print.PD.string (Int.toString d)),
368 ("s", p_events s)];*) 370 ("s", p_events s)];*)