Mercurial > urweb

diff src/monoize.sml @ 736:796e42c93c48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents 5ccb67665d05
children d049d31a1966
line wrap: on
line diff
--- a/src/monoize.sml	Thu Apr 23 14:10:10 2009 -0400
+++ b/src/monoize.sml	Thu Apr 23 16:13:02 2009 -0400
@@ -2668,7 +2668,11 @@
                                                                   (L'.ERel 0, loc)), loc),
                                                         (L'.ERecord [], loc)), loc)), loc)), loc)
                 val ek = (L'.EApp (ekf, ek), loc)
-                val e = (L'.EServerCall (call, ek, t), loc)
+                val eff = if IS.member (!readCookie, n) then
+                              L'.ReadCookieWrite
+                          else
+                              L'.ReadOnly
+                val e = (L'.EServerCall (call, ek, t, eff), loc)
                 val e = liftExpInExp 0 e
                 val unit = (L'.TRecord [], loc)
                 val e = (L'.EAbs ("_", unit, unit, e), loc)