Mercurial > urweb

comparison src/mono_reduce.sml @ 815:493f44759879

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Redo Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 18:41:43 -0400
parents 3f3b211f9bca
children 497c7dbcc695
comparison
equal deleted inserted replaced
814:3f3b211f9bca 815:493f44759879
72 72
73 | ESeq (e1, e2) => impure e1 orelse impure e2 73 | ESeq (e1, e2) => impure e1 orelse impure e2
74 | ELet (_, _, e1, e2) => impure e1 orelse impure e2 74 | ELet (_, _, e1, e2) => impure e1 orelse impure e2
75 75
76 | EClosure (_, es) => List.exists impure es 76 | EClosure (_, es) => List.exists impure es
77 | EJavaScript (_, e, _) => impure e 77 | EJavaScript (_, e) => impure e
78 | ESignalReturn e => impure e 78 | ESignalReturn e => impure e
79 | ESignalBind (e1, e2) => impure e1 orelse impure e2 79 | ESignalBind (e1, e2) => impure e1 orelse impure e2
80 | ESignalSource e => impure e 80 | ESignalSource e => impure e
81 | EServerCall _ => true 81 | EServerCall _ => true
82 | ERecv _ => true 82 | ERecv _ => true
342 [ReadDb]] 342 [ReadDb]]
343 343
344 | EDml e => summarize d e @ [WriteDb] 344 | EDml e => summarize d e @ [WriteDb]
345 | ENextval e => summarize d e @ [WriteDb] 345 | ENextval e => summarize d e @ [WriteDb]
346 | EUnurlify (e, _) => summarize d e 346 | EUnurlify (e, _) => summarize d e
347 | EJavaScript (_, e, _) => summarize d e 347 | EJavaScript (_, e) => summarize d e
348 | ESignalReturn e => summarize d e 348 | ESignalReturn e => summarize d e
349 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 349 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2
350 | ESignalSource e => summarize d e 350 | ESignalSource e => summarize d e
351 351
352 | EServerCall (e, ek, _, _) => summarize d e @ summarize d ek @ [Unsure] 352 | EServerCall (e, ek, _, _) => summarize d e @ summarize d ek @ [Unsure]