Mercurial > urweb

comparison src/effectize.sml @ 2112:b4702145f8de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Feb 2015 11:09:25 -0500
parents 6745eafff617
children
comparison
equal deleted inserted replaced
2111:809bceab15a3 2112:b4702145f8de
77 exp = exp writers readers pushers} 77 exp = exp writers readers pushers}
78 78
79 fun exp evs e = 79 fun exp evs e =
80 case e of 80 case e of
81 EFfi ("Basis", "getCookie") => true 81 EFfi ("Basis", "getCookie") => true
82 | EFfiApp ("Basis", "getHeader", _) => true
83 | EFfiApp ("Basis", "getenv", _) => true
82 | ENamed n => IM.inDomain (evs, n) 84 | ENamed n => IM.inDomain (evs, n)
83 | EServerCall (n, _, _, _) => IM.inDomain (evs, n) 85 | EServerCall (n, _, _, _) => IM.inDomain (evs, n)
84 | _ => false 86 | _ => false
85 87
86 fun couldReadCookie evs = U.Exp.exists {kind = fn _ => false, 88 fun couldReadCookie evs = U.Exp.exists {kind = fn _ => false,