Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/effectize.sml	Thu Dec 16 18:40:49 2010 -0500
+++ b/src/effectize.sml	Sat Dec 18 10:56:31 2010 -0500
@@ -168,6 +168,15 @@
                                 else
                                     ReadOnly), n, IM.inDomain (pushers, n)), #2 d),
                  evs)
+              | DExport (Extern _, n, _) =>
+                ((DExport (Extern (if IM.inDomain (writers, n) then
+                                       if IM.inDomain (readers, n) then
+                                           ReadCookieWrite
+                                       else
+                                           ReadWrite
+                                   else
+                                       ReadOnly), n, IM.inDomain (pushers, n)), #2 d),
+                 evs)
               | _ => (d, evs)
 
         val (file, _) = ListUtil.foldlMap doDecl (IM.empty, IM.empty, IM.empty) file