Mercurial > urweb
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 |