From fe819dd637842fb564524a7cf80612a3673ce14c Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Tue, 18 Jun 2019 15:56:52 -0400
Subject: [PATCH] users-guide: Update -Wsafe description for #16689

We no longer emit a warning when a safe module is explicitly declared as
such.
---
 docs/users_guide/safe_haskell.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/users_guide/safe_haskell.rst b/docs/users_guide/safe_haskell.rst
index 7d7e120613d2..bf7f1fb5d028 100644
--- a/docs/users_guide/safe_haskell.rst
+++ b/docs/users_guide/safe_haskell.rst
@@ -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
-- 
GitLab