# HG changeset patch # User Adam Chlipala # Date 1374072013 14400 # Node ID 38399d67a914f2f898b2d7f5ea0ca7e31f0bfd1e # Parent 2a0b9603d8af3a43b201182931da49c4d4ed3ca6 Make that new error message text a bit more accurate diff -r 2a0b9603d8af -r 38399d67a914 src/effectize.sml --- a/src/effectize.sml Wed Jul 17 10:35:43 2013 -0400 +++ b/src/effectize.sml Wed Jul 17 10:40:13 2013 -0400 @@ -161,7 +161,7 @@ () 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 its containing module"); + ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of the main program module"); ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs)) | DExport (Action _, n, _) => ((DExport (Action (if IM.inDomain (writers, n) then