diff options
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index b0f8c843b9..8c0da9162e 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -1545,10 +1545,11 @@ of ``-W(no-)*``. :shortdesc: Warn about record wildcard matches when none of the bound variables are used. :type: dynamic - :since: 8.10.1 :reverse: -Wno-unused-record-wildcards :category: + :since: 8.10.1 + .. index:: single: unused, warning, record wildcards @@ -1566,10 +1567,11 @@ of ``-W(no-)*``. .. ghc-flag:: -Wredundant-record-wildcards :shortdesc: Warn about record wildcard matches when the wildcard binds no patterns. :type: dynamic - :since: 8.10.1 :reverse: -Wno-redundant-record-wildcards :category: + :since: 8.10.1 + .. index:: single: unused, warning, record wildcards |