Mercurial > urweb

comparison src/effectize.sml @ 1858:2a0b9603d8af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweak error message about naughty GET handlers
author Adam Chlipala <adam@chlipala.net>
date Wed, 17 Jul 2013 10:35:43 -0400
parents e15234fbb163
children 38399d67a914
comparison
equal deleted inserted replaced
1857:79c0c22e13ae 1858:2a0b9603d8af
158 NONE => () 158 NONE => ()
159 | SOME (loc, s) => 159 | SOME (loc, s) =>
160 if Settings.isSafeGet s then 160 if Settings.isSafeGet s then
161 () 161 ()
162 else 162 else
163 ErrorMsg.errorAt loc ("A link (" ^ s 163 ErrorMsg.errorAt loc ("A handler (" ^ s
164 ^ ") could cause side effects; try implementing it with a form instead"); 164 ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of its containing module");
165 ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs)) 165 ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs))
166 | DExport (Action _, n, _) => 166 | DExport (Action _, n, _) =>
167 ((DExport (Action (if IM.inDomain (writers, n) then 167 ((DExport (Action (if IM.inDomain (writers, n) then
168 if IM.inDomain (readers, n) then 168 if IM.inDomain (readers, n) then
169 ReadCookieWrite 169 ReadCookieWrite