# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1374071743 14400
# Node ID 2a0b9603d8af3a43b201182931da49c4d4ed3ca6
# Parent  79c0c22e13aecbda9443dbfbae2a7eed9a31a3c0
Tweak error message about naughty GET handlers

diff -r 79c0c22e13ae -r 2a0b9603d8af src/effectize.sml
--- 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