Mercurial > urweb

comparison src/mono_reduce.sml @ 578:1e589a60b86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Harmonized source-setting between server and client
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 11:33:31 -0500
parents 3d56940120b1
children 0094e0242100
comparison
equal deleted inserted replaced
577:3d56940120b1 578:1e589a60b86f
74 74
75 | ESeq (e1, e2) => impure e1 orelse impure e2 75 | ESeq (e1, e2) => impure e1 orelse impure e2
76 | ELet (_, _, e1, e2) => impure e1 orelse impure e2 76 | ELet (_, _, e1, e2) => impure e1 orelse impure e2
77 77
78 | EClosure (_, es) => List.exists impure es 78 | EClosure (_, es) => List.exists impure es
79 | EJavaScript (_, e) => impure e 79 | EJavaScript (_, e, _) => impure e
80 | ESignalReturn e => impure e 80 | ESignalReturn e => impure e
81 | ESignalBind (e1, e2) => impure e1 orelse impure e2 81 | ESignalBind (e1, e2) => impure e1 orelse impure e2
82 | ESignalSource e => impure e 82 | ESignalSource e => impure e
83 83
84 84
333 [ReadDb]] 333 [ReadDb]]
334 334
335 | EDml e => summarize d e @ [WriteDb] 335 | EDml e => summarize d e @ [WriteDb]
336 | ENextval e => summarize d e @ [WriteDb] 336 | ENextval e => summarize d e @ [WriteDb]
337 | EUnurlify (e, _) => summarize d e 337 | EUnurlify (e, _) => summarize d e
338 | EJavaScript (_, e) => summarize d e 338 | EJavaScript (_, e, _) => summarize d e
339 | ESignalReturn e => summarize d e 339 | ESignalReturn e => summarize d e
340 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 340 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2
341 | ESignalSource e => summarize d e 341 | ESignalSource e => summarize d e
342 342
343 fun exp env e = 343 fun exp env e =