Commit a83ec778 authored by Vladislav Zavialov's avatar Vladislav Zavialov Committed by Marge Bot
Browse files

Set "since: 9.8" for TypeAbstractions and -Wterm-variable-capture

These flags did not make it into the 9.6 release series,
so the "since" annotations must be corrected.
parent 658f4446
Pipeline #61935 canceled with stages
in 29 seconds
......@@ -631,7 +631,7 @@ data WarningFlag =
| Opt_WarnGADTMonoLocalBinds -- Since 9.4
| Opt_WarnTypeEqualityOutOfScope -- Since 9.4
| Opt_WarnTypeEqualityRequiresOperators -- Since 9.4
| Opt_WarnTermVariableCapture
| Opt_WarnTermVariableCapture -- Since 9.8
deriving (Eq, Ord, Show, Enum)
-- | Return the names of a WarningFlag
......
......@@ -98,9 +98,6 @@ Compiler
- The :ghc-flag:`-Wstar-is-type` warning is now enabled by default.
- Added a new warning :ghc-flag:`-Wterm-variable-capture` that helps to make code compatible with
the future extension ``RequiredTypeArguments``.
- The ``-Wno-⟨wflag⟩``, ``-Werror=⟨wflag⟩`` and ``-Wwarn=⟨wflag⟩`` options are
now defined systematically for all warning groups (for example,
``-Wno-default``, ``-Werror=unused-binds`` and ``-Wwarn=all`` are now
......
.. _release-9-8-1:
Version 9.8.1
=============
Language
~~~~~~~~
Compiler
~~~~~~~~
- Added a new warning :ghc-flag:`-Wterm-variable-capture` that helps to make code compatible with
the future extension ``RequiredTypeArguments``.
\ No newline at end of file
......@@ -4,7 +4,7 @@ Type abstractions
.. extension:: TypeAbstractions
:shortdesc: Enable type abstraction syntax in patterns and type variable binders.
:since: 9.6.1
:since: 9.8.1
:status: Partially implemented
......
......@@ -4,4 +4,4 @@ Release notes
.. toctree::
:maxdepth: 1
9.6.1-notes
9.8.1-notes
......@@ -2319,8 +2319,8 @@ of ``-W(no-)*``.
.. ghc-flag:: -Wterm-variable-capture
:shortdesc: warn when an implicitly quantified type variable captures a term's name
:type: dynamic
:since: 9.6.1
:since: 9.8.1
In accordance with `GHC Proposal #281
<https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0281-visible-forall.rst>`__,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment