diff options
Diffstat (limited to 'docs/users_guide/using-warnings.rst')
-rw-r--r-- | docs/users_guide/using-warnings.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index 60598eb623..977bb69941 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -1498,8 +1498,8 @@ of ``-W(no-)*``. The use of ``*`` to denote the kind of inhabited types relies on the :extension:`StarIsType` extension, which in a future release will be turned off by default and then possibly removed. The reasons for this and - the deprecation schedule are described in `GHC proposal #30 - <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0030-remove-star-kind.rst>`__. + the deprecation schedule are described in `GHC proposal #143 + <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0143-remove-star-kind.rst>`__. This warning allows to detect such uses of ``*`` before the actual breaking change takes place. The recommended fix is to replace ``*`` with |