diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-07-17 10:48:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-07-17 10:48:31 -0400 |
| commit | d0f5e6a7ef66c2a4d9f37ac464e36f69687b8132 (patch) | |
| tree | c5a1dfd3cc408b9f2d5cc414472976ab3748066a /src/effectize.sml | |
| parent | 493b842cd26c5658eb05535152762b2bceb9b04e (diff) | |
Make that error message even more helpful
Diffstat (limited to 'src/effectize.sml')
| -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 35de86c3..6ced952b 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 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 |