Mercurial > urweb

comparison src/mono_reduce.sml @ 670:f73913d97a40

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper recv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 16:03:45 -0400
parents b0c1a46b1f15
children 01b6f2ee2ef0
comparison
equal deleted inserted replaced
669:f68eee90dbcf 670:f73913d97a40
83 | EJavaScript (_, e, _) => impure e 83 | EJavaScript (_, e, _) => impure e
84 | ESignalReturn e => impure e 84 | ESignalReturn e => impure e
85 | ESignalBind (e1, e2) => impure e1 orelse impure e2 85 | ESignalBind (e1, e2) => impure e1 orelse impure e2
86 | ESignalSource e => impure e 86 | ESignalSource e => impure e
87 | EServerCall _ => true 87 | EServerCall _ => true
88 | ERecv _ => true
88 89
89 90
90 val liftExpInExp = Monoize.liftExpInExp 91 val liftExpInExp = Monoize.liftExpInExp
91 92
92 val subExpInExp' = 93 val subExpInExp' =
353 | ESignalReturn e => summarize d e 354 | ESignalReturn e => summarize d e
354 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 355 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2
355 | ESignalSource e => summarize d e 356 | ESignalSource e => summarize d e
356 357
357 | EServerCall (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] 358 | EServerCall (e, ek, _) => summarize d e @ summarize d ek @ [Unsure]
359 | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure]
358 in 360 in
359 (*Print.prefaces "Summarize" 361 (*Print.prefaces "Summarize"
360 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), 362 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)),
361 ("d", Print.PD.string (Int.toString d)), 363 ("d", Print.PD.string (Int.toString d)),
362 ("s", p_events s)];*) 364 ("s", p_events s)];*)