diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2023-01-14 13:17:54 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-23 04:49:58 -0500 |
| commit | a83ec778e44efcd4b56ce81ea0a183e6e73f026b (patch) | |
| tree | af8dddad1f10dde46e8f13cc6c6c9bb9fe52e5ac | |
| parent | 658f4446964c01e804ed5cff59fa3ceac3f9619d (diff) | |
| download | haskell-a83ec778e44efcd4b56ce81ea0a183e6e73f026b.tar.gz | |
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.
| -rw-r--r-- | compiler/GHC/Driver/Flags.hs | 2 | ||||
| -rw-r--r-- | docs/users_guide/9.6.1-notes.rst | 3 | ||||
| -rw-r--r-- | docs/users_guide/9.8.1-notes.rst | 13 | ||||
| -rw-r--r-- | docs/users_guide/exts/type_abstractions.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/release-notes.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 4 |
6 files changed, 18 insertions, 8 deletions
diff --git a/compiler/GHC/Driver/Flags.hs b/compiler/GHC/Driver/Flags.hs index 8b1899bba4..982d2e2f45 100644 --- a/compiler/GHC/Driver/Flags.hs +++ b/compiler/GHC/Driver/Flags.hs @@ -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 diff --git a/docs/users_guide/9.6.1-notes.rst b/docs/users_guide/9.6.1-notes.rst index fe2692dee6..f0961348f3 100644 --- a/docs/users_guide/9.6.1-notes.rst +++ b/docs/users_guide/9.6.1-notes.rst @@ -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 diff --git a/docs/users_guide/9.8.1-notes.rst b/docs/users_guide/9.8.1-notes.rst new file mode 100644 index 0000000000..b35dc92e60 --- /dev/null +++ b/docs/users_guide/9.8.1-notes.rst @@ -0,0 +1,13 @@ +.. _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 diff --git a/docs/users_guide/exts/type_abstractions.rst b/docs/users_guide/exts/type_abstractions.rst index 02c147ed74..ca8761f405 100644 --- a/docs/users_guide/exts/type_abstractions.rst +++ b/docs/users_guide/exts/type_abstractions.rst @@ -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 diff --git a/docs/users_guide/release-notes.rst b/docs/users_guide/release-notes.rst index 8c29746c7c..494ae69dda 100644 --- a/docs/users_guide/release-notes.rst +++ b/docs/users_guide/release-notes.rst @@ -4,4 +4,4 @@ Release notes .. toctree:: :maxdepth: 1 - 9.6.1-notes + 9.8.1-notes diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index ba4bc44c15..7c288d3767 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -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>`__, |