Mercurial > urweb

comparison src/effectize.sml @ 908:ed06e25c70ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Convert to requiring explicit 'rpc' marker
author Adam Chlipala <adamc@hcoop.net>
date Sat, 22 Aug 2009 12:55:18 -0400
parents a44daa674810
children dfe34fad749d
comparison
equal deleted inserted replaced
907:5fe49effbc83 908:ed06e25c70ef
44 fun expOnload evs e = 44 fun expOnload evs e =
45 case e of 45 case e of
46 EFfi f => effectful f 46 EFfi f => effectful f
47 | EFfiApp (m, x, _) => effectful (m, x) 47 | EFfiApp (m, x, _) => effectful (m, x)
48 | ENamed n => IM.inDomain (evs, n) 48 | ENamed n => IM.inDomain (evs, n)
49 | EServerCall (n, _, _, _) => IM.inDomain (evs, n) 49 | EServerCall (n, _, _, _, _) => IM.inDomain (evs, n)
50 | _ => false 50 | _ => false
51 51
52 fun couldWriteOnload evs = U.Exp.exists {kind = fn _ => false, 52 fun couldWriteOnload evs = U.Exp.exists {kind = fn _ => false,
53 con = fn _ => false, 53 con = fn _ => false,
54 exp = expOnload evs} 54 exp = expOnload evs}
68 68
69 fun exp evs e = 69 fun exp evs e =
70 case e of 70 case e of
71 EFfi ("Basis", "getCookie") => true 71 EFfi ("Basis", "getCookie") => true
72 | ENamed n => IM.inDomain (evs, n) 72 | ENamed n => IM.inDomain (evs, n)
73 | EServerCall (n, _, _, _) => IM.inDomain (evs, n) 73 | EServerCall (n, _, _, _, _) => IM.inDomain (evs, n)
74 | _ => false 74 | _ => false
75 75
76 fun couldReadCookie evs = U.Exp.exists {kind = fn _ => false, 76 fun couldReadCookie evs = U.Exp.exists {kind = fn _ => false,
77 con = fn _ => false, 77 con = fn _ => false,
78 exp = exp evs} 78 exp = exp evs}