comparison src/effectize.sml @ 1859:38399d67a914

Make that new error message text a bit more accurate
author Adam Chlipala <adam@chlipala.net>
date Wed, 17 Jul 2013 10:40:13 -0400
parents 2a0b9603d8af
children d54984564bcd
comparison
equal deleted inserted replaced
1858:2a0b9603d8af 1859:38399d67a914
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 handler (" ^ s 163 ErrorMsg.errorAt loc ("A handler (" ^ s
164 ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of its containing module"); 164 ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of the main program 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