diff options
-rw-r--r-- | docs/users_guide/using-warnings.rst | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index cdc911befd..62b644aa8a 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -743,6 +743,23 @@ of ``-W(no-)*``. This option is on by default. +.. ghc-flag:: -Whi-shadowing + :shortdesc: *(deprecated)* + warn when a ``.hi`` file in the current directory shadows a library + :type: dynamic + :reverse: -Wno-hi-shadowing + :category: + + .. index:: + single: shadowing; interface files + + Causes the compiler to emit a warning when a module or interface + file in the current directory is shadowing one with the same module + name in a library or other directory. + + This flag was not implemented correctly and is now deprecated. + It will be removed in a later version of GHC. + .. ghc-flag:: -Widentities :shortdesc: warn about uses of Prelude numeric conversions that are probably the identity (and hence could be omitted) |