changeset 1860:d54984564bcd

Make that error message even more helpful
author Adam Chlipala <adam@chlipala.net>
date Wed, 17 Jul 2013 10:48:31 -0400 (2013-07-17)
parents 38399d67a914
children 52043ad66ce7
files src/effectize.sml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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