diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-07-17 10:35:43 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-07-17 10:35:43 -0400 |
| commit | e47fdcf75c4cbd96804697e8f25fca46dd11e9b6 (patch) | |
| tree | e947a9b70a80a8e6245563f2c8d649b059cd5c3c | |
| parent | 84d4e04816eb8980f3d4eca2f93249cb97003498 (diff) | |
Tweak error message about naughty GET handlers
| -rw-r--r-- | src/effectize.sml | 4 |
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 |