summaryrefslogtreecommitdiff
path: root/docs/users_guide
diff options
context:
space:
mode:
authorVladislav Zavialov <vlad.z.4096@gmail.com>2023-01-14 13:17:54 +0300
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-01-23 04:49:58 -0500
commita83ec778e44efcd4b56ce81ea0a183e6e73f026b (patch)
treeaf8dddad1f10dde46e8f13cc6c6c9bb9fe52e5ac /docs/users_guide
parent658f4446964c01e804ed5cff59fa3ceac3f9619d (diff)
downloadhaskell-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.
Diffstat (limited to 'docs/users_guide')
-rw-r--r--docs/users_guide/9.6.1-notes.rst3
-rw-r--r--docs/users_guide/9.8.1-notes.rst13
-rw-r--r--docs/users_guide/exts/type_abstractions.rst2
-rw-r--r--docs/users_guide/release-notes.rst2
-rw-r--r--docs/users_guide/using-warnings.rst4
5 files changed, 17 insertions, 7 deletions
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>`__,