Mercurial > urweb

comparison src/mono_reduce.sml @ 463:bb27c7efcd90

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 21bb5bbba2e9
children ddd363e856ff
comparison
equal deleted inserted replaced
462:21bb5bbba2e9 463:bb27c7efcd90
39 case e of 39 case e of
40 EWrite _ => true 40 EWrite _ => true
41 | EQuery _ => true 41 | EQuery _ => true
42 | EDml _ => true 42 | EDml _ => true
43 | ENextval _ => true 43 | ENextval _ => true
44 | EUnurlify _ => true
44 | EAbs _ => false 45 | EAbs _ => false
45 46
46 | EPrim _ => false 47 | EPrim _ => false
47 | ERel _ => false 48 | ERel _ => false
48 | ENamed _ => false 49 | ENamed _ => false
273 summarize d initial, 274 summarize d initial,
274 [ReadDb]] 275 [ReadDb]]
275 276
276 | EDml e => summarize d e @ [WriteDb] 277 | EDml e => summarize d e @ [WriteDb]
277 | ENextval e => summarize d e @ [WriteDb] 278 | ENextval e => summarize d e @ [WriteDb]
279 | EUnurlify (e, _) => summarize d e
278 280
279 fun exp env e = 281 fun exp env e =
280 let 282 let
281 (*val () = Print.prefaces "exp" [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan))]*) 283 (*val () = Print.prefaces "exp" [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan))]*)
282 284