diff src/effectize.sml @ 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 e15234fbb163
children 38399d67a914
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