Mercurial > urweb
changeset 1858:2a0b9603d8af
Tweak error message about naughty GET handlers
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 17 Jul 2013 10:35:43 -0400 |
parents | 79c0c22e13ae |
children | 38399d67a914 |
files | src/effectize.sml |
diffstat | 1 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/src/effectize.sml Wed Jul 17 09:09:48 2013 -0400 +++ b/src/effectize.sml Wed Jul 17 10:35:43 2013 -0400 @@ -160,8 +160,8 @@ if Settings.isSafeGet s then () else - ErrorMsg.errorAt loc ("A link (" ^ s - ^ ") could cause side effects; try implementing it with a form instead"); + ErrorMsg.errorAt loc ("A handler (" ^ s + ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of its containing module"); ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs)) | DExport (Action _, n, _) => ((DExport (Action (if IM.inDomain (writers, n) then