Skip to content
Snippets Groups Projects
Commit fe819dd6 authored by Ben Gamari's avatar Ben Gamari Committed by Marge Bot
Browse files

users-guide: Update -Wsafe description for #16689

We no longer emit a warning when a safe module is explicitly declared as
such.
parent aa4891a7
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment