[Git][ghc/ghc][master] Set "since: 9.8" for TypeAbstractions and -Wterm-variable-capture

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
a83ec778 by Vladislav Zavialov at 2023-01-23T04:49:58-05:00
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.

- - - - -


6 changed files:

- compiler/GHC/Driver/Flags.hs
- docs/users_guide/9.6.1-notes.rst
- + docs/users_guide/9.8.1-notes.rst
- docs/users_guide/exts/type_abstractions.rst
- docs/users_guide/release-notes.rst
- docs/users_guide/using-warnings.rst


Changes:

=====================================
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


=====================================
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


=====================================
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


=====================================
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
 


=====================================
docs/users_guide/release-notes.rst
=====================================
@@ -4,4 +4,4 @@ Release notes
 .. toctree::
    :maxdepth: 1
 
-   9.6.1-notes
+   9.8.1-notes


=====================================
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>`__,



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a83ec778e44efcd4b56ce81ea0a183e6e73f026b

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a83ec778e44efcd4b56ce81ea0a183e6e73f026b
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230123/600571e2/attachment-0001.html>