# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1374072511 14400
# Node ID d54984564bcd7540854e678dc5e58d069dcd7e09
# Parent  38399d67a914f2f898b2d7f5ea0ca7e31f0bfd1e
Make that error message even more helpful

diff -r 38399d67a914 -r d54984564bcd src/effectize.sml
--- a/src/effectize.sml	Wed Jul 17 10:40:13 2013 -0400
+++ b/src/effectize.sml	Wed Jul 17 10:48:31 2013 -0400
@@ -160,8 +160,8 @@
                      if Settings.isSafeGet s then
                          ()
                      else
-                         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 the main program module");
+                         ErrorMsg.errorAt loc ("A handler (URI prefix \"" ^ s
+                                               ^ "\") accessible via GET could cause side effects; try accessing it only via forms, removing it from the signature of the main program module, or whitelisting it with the 'safeGet' .urp directive");
                  ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs))
               | DExport (Action _, n, _) =>
                 ((DExport (Action (if IM.inDomain (writers, n) then