diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-06-18 15:56:52 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-06-18 16:04:38 -0400 |
commit | 512c6c6157a93060a4e8519abcbadeab963311f6 (patch) | |
tree | 6be128ba84031322063779a9079a2d8549037d09 | |
parent | a3091ec7a806a8cd1483bda46a396f0e069d6e27 (diff) | |
download | haskell-wip/safe-docs.tar.gz |
users-guide: Update -Wsafe description for #16689wip/safe-docs
We no longer emit a warning when a safe module is explicitly declared as
such.
-rw-r--r-- | docs/users_guide/safe_haskell.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/safe_haskell.rst b/docs/users_guide/safe_haskell.rst index 7d7e120613..bf7f1fb5d0 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 |