users-guide: Update -Wsafe description for #16689
authorBen Gamari <ben@smart-cactus.org>
Tue, 18 Jun 2019 19:56:52 +0000 (15:56 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Thu, 20 Jun 2019 02:16:51 +0000 (22:16 -0400)
We no longer emit a warning when a safe module is explicitly declared as
such.

docs/users_guide/safe_haskell.rst

index 7d7e120..bf7f1fb 100644 (file)
@@ -761,7 +761,8 @@ And three warning flags:
 
     Issue a warning if the module being compiled is regarded to be safe.
     Should be used to check the safety type of modules when using safe
-    inference.
+    inference. If the module is explicitly marked as safe then no warning will
+    be issued.
 
 .. ghc-flag:: -Wtrustworthy-safe
     :shortdesc: warn if the module being compiled is marked as