summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-07-17 10:35:43 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2013-07-17 10:35:43 -0400
commite47fdcf75c4cbd96804697e8f25fca46dd11e9b6 (patch)
treee947a9b70a80a8e6245563f2c8d649b059cd5c3c /src
parent84d4e04816eb8980f3d4eca2f93249cb97003498 (diff)
Tweak error message about naughty GET handlers
Diffstat (limited to 'src')
-rw-r--r--src/effectize.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/effectize.sml b/src/effectize.sml
index 332e1372..31cbe9ba 100644
--- a/src/effectize.sml
+++ b/src/effectize.sml
@@ -160,8 +160,8 @@ fun effectize file =
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