Mercurial > urweb

comparison src/mono_reduce.sml @ 566:a152905c3c3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Displayed an alert dialog
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 12:38:11 -0500
parents 74800be65591
children 55fc747a67dc
comparison
equal deleted inserted replaced
565:74800be65591 566:a152905c3c3b
73 73
74 | ESeq (e1, e2) => impure e1 orelse impure e2 74 | ESeq (e1, e2) => impure e1 orelse impure e2
75 | ELet (_, _, e1, e2) => impure e1 orelse impure e2 75 | ELet (_, _, e1, e2) => impure e1 orelse impure e2
76 76
77 | EClosure (_, es) => List.exists impure es 77 | EClosure (_, es) => List.exists impure es
78 | EJavaScript e => impure e
78 79
79 80
80 val liftExpInExp = Monoize.liftExpInExp 81 val liftExpInExp = Monoize.liftExpInExp
81 82
82 val subExpInExp' = 83 val subExpInExp' =
327 [ReadDb]] 328 [ReadDb]]
328 329
329 | EDml e => summarize d e @ [WriteDb] 330 | EDml e => summarize d e @ [WriteDb]
330 | ENextval e => summarize d e @ [WriteDb] 331 | ENextval e => summarize d e @ [WriteDb]
331 | EUnurlify (e, _) => summarize d e 332 | EUnurlify (e, _) => summarize d e
333 | EJavaScript e => summarize d e
332 334
333 335
334 fun exp env e = 336 fun exp env e =
335 let 337 let
336 (*val () = Print.prefaces "exp" [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan))]*) 338 (*val () = Print.prefaces "exp" [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan))]*)