Mercurial > urweb

comparison src/mono_reduce.sml @ 574:ac947e2f29ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Trivial use of a source
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:56:39 -0500
parents 57018f21cd5c
children 3d56940120b1
comparison
equal deleted inserted replaced
572:57018f21cd5c 574:ac947e2f29ff
76 76
77 | EClosure (_, es) => List.exists impure es 77 | EClosure (_, es) => List.exists impure es
78 | EJavaScript (_, e) => impure e 78 | EJavaScript (_, e) => impure e
79 | ESignalReturn e => impure e 79 | ESignalReturn e => impure e
80 | ESignalBind (e1, e2) => impure e1 orelse impure e2 80 | ESignalBind (e1, e2) => impure e1 orelse impure e2
81 | ESignalSource e => impure e
81 82
82 83
83 val liftExpInExp = Monoize.liftExpInExp 84 val liftExpInExp = Monoize.liftExpInExp
84 85
85 val subExpInExp' = 86 val subExpInExp' =
333 | ENextval e => summarize d e @ [WriteDb] 334 | ENextval e => summarize d e @ [WriteDb]
334 | EUnurlify (e, _) => summarize d e 335 | EUnurlify (e, _) => summarize d e
335 | EJavaScript (_, e) => summarize d e 336 | EJavaScript (_, e) => summarize d e
336 | ESignalReturn e => summarize d e 337 | ESignalReturn e => summarize d e
337 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 338 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2
338 339 | ESignalSource e => summarize d e
339 340
340 fun exp env e = 341 fun exp env e =
341 let 342 let
342 (*val () = Print.prefaces "exp" [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan))]*) 343 (*val () = Print.prefaces "exp" [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan))]*)
343 344