From b6c06cb963afae5f6d89251ca45ec44151e1c1cb Mon Sep 17 00:00:00 2001 From: Andreas Abel <andreas.abel@ifi.lmu.de> Date: Sun, 25 Jul 2021 19:46:01 +0200 Subject: [PATCH] Doc: warnings: since: remove minor version number for uniformity New warnings are only released in major versions, it seems. One way or the other, a .1 minor version can always be dropped. (cherry picked from commit ebcdf3fa6e94127e95d0fce75a36989e0e2bf7ee) --- docs/users_guide/using-warnings.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index d3378b2aa638..72b9ec2ecd2c 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -925,7 +925,7 @@ of ``-W(no-)*``. :reverse: -Wno-missing-deriving-strategies :category: - :since: 8.8.1 + :since: 8.8 The datatype below derives the ``Eq`` typeclass, but doesn't specify a strategy. When :ghc-flag:`-Wmissing-deriving-strategies` is enabled, @@ -963,7 +963,7 @@ of ``-W(no-)*``. :reverse: -fnowarn-missing-export-lists :category: - :since: 8.4.1 + :since: 8.4 .. index:: single: missing export lists, warning @@ -1616,7 +1616,7 @@ of ``-W(no-)*``. :reverse: -Wno-unused-record-wildcards :category: - :since: 8.10.1 + :since: 8.10 .. index:: single: unused, warning, record wildcards @@ -1638,7 +1638,7 @@ of ``-W(no-)*``. :reverse: -Wno-redundant-record-wildcards :category: - :since: 8.10.1 + :since: 8.10 .. index:: single: unused, warning, record wildcards -- GitLab