Mercurial > urweb

comparison src/effectize.sml @ 1347:b106ca8200b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
postBody type
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 10:56:31 -0500
parents 9d3ccb8b39ac
children 7a436b6267ab
comparison
equal deleted inserted replaced
1346:faad7d01b200 1347:b106ca8200b1
166 else 166 else
167 ReadWrite 167 ReadWrite
168 else 168 else
169 ReadOnly), n, IM.inDomain (pushers, n)), #2 d), 169 ReadOnly), n, IM.inDomain (pushers, n)), #2 d),
170 evs) 170 evs)
171 | DExport (Extern _, n, _) =>
172 ((DExport (Extern (if IM.inDomain (writers, n) then
173 if IM.inDomain (readers, n) then
174 ReadCookieWrite
175 else
176 ReadWrite
177 else
178 ReadOnly), n, IM.inDomain (pushers, n)), #2 d),
179 evs)
171 | _ => (d, evs) 180 | _ => (d, evs)
172 181
173 val (file, _) = ListUtil.foldlMap doDecl (IM.empty, IM.empty, IM.empty) file 182 val (file, _) = ListUtil.foldlMap doDecl (IM.empty, IM.empty, IM.empty) file
174 in 183 in
175 file 184 file