Skip to content
Snippets Groups Projects
Commit 0b403319 authored by andreas.abel's avatar andreas.abel Committed by Marge Bot
Browse files

Issue #18087: :since: for warnings of ghc 6/7/8 

Added :since: fields to users_guide on warning, for warnings
introduced starting GHC 6.0.

The data was extracted from the HTML docs on warnings, see

  #18087

and partially verified by consulting the change logs.
parent ebcdf3fa
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
docs/users_guide/using-warnings.rst
+ 113
− 0
View file @ 0b403319
...@@ -20,6 +20,8 @@ To reverse ``-Werror``, which makes all warnings into errors, use ``-Wwarn``. ...@@ -20,6 +20,8 @@ To reverse ``-Werror``, which makes all warnings into errors, use ``-Wwarn``.
:type: dynamic :type: dynamic
:category: :category:
:since: 8.0
By default, you get a standard set of warnings which are By default, you get a standard set of warnings which are
generally likely to indicate bugs in your program. These are: generally likely to indicate bugs in your program. These are:
...@@ -121,6 +123,8 @@ The following flags are simple ways to select standard "packages" of warnings: ...@@ -121,6 +123,8 @@ The following flags are simple ways to select standard "packages" of warnings:
:type: dynamic :type: dynamic
:category: :category:
:since: 8.0
Turns on every single warning supported by the compiler. Turns on every single warning supported by the compiler.
.. ghc-flag:: -Wcompat .. ghc-flag:: -Wcompat
...@@ -130,6 +134,8 @@ The following flags are simple ways to select standard "packages" of warnings: ...@@ -130,6 +134,8 @@ The following flags are simple ways to select standard "packages" of warnings:
:reverse: -Wno-compat :reverse: -Wno-compat
:category: :category:
:since: 8.0
Turns on warnings that will be enabled by default in the future, but remain Turns on warnings that will be enabled by default in the future, but remain
off in normal compilations for the time being. This allows library authors off in normal compilations for the time being. This allows library authors
eager to make their code future compatible to adapt to new features before eager to make their code future compatible to adapt to new features before
...@@ -176,6 +182,8 @@ to abort. ...@@ -176,6 +182,8 @@ to abort.
:reverse: -Wwarn :reverse: -Wwarn
:category: :category:
:since: 6.8 (``-Wwarn``)
Makes any warning into a fatal error. Useful so that you don't miss Makes any warning into a fatal error. Useful so that you don't miss
warnings when doing batch compilation. To reverse ``-Werror`` and stop warnings when doing batch compilation. To reverse ``-Werror`` and stop
treating any warnings as errors use ``-Wwarn``, or use ``-Wwarn=<wflag>`` treating any warnings as errors use ``-Wwarn``, or use ``-Wwarn=<wflag>``
...@@ -247,6 +255,8 @@ of ``-W(no-)*``. ...@@ -247,6 +255,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unrecognised-warning-flags :reverse: -Wno-unrecognised-warning-flags
:category: :category:
:since: 8.0
:default: on :default: on
Enables warnings when the compiler encounters a ``-W...`` flag that is not Enables warnings when the compiler encounters a ``-W...`` flag that is not
...@@ -259,6 +269,8 @@ of ``-W(no-)*``. ...@@ -259,6 +269,8 @@ of ``-W(no-)*``.
:reverse: -Wno-compat-unqualified-imports :reverse: -Wno-compat-unqualified-imports
:category: :category:
:since: 8.10
Warns on qualified imports of core library modules which are subject to Warns on qualified imports of core library modules which are subject to
change in future GHC releases. Currently there are no modules change in future GHC releases. Currently there are no modules
covered by this warning. covered by this warning.
...@@ -284,6 +296,8 @@ of ``-W(no-)*``. ...@@ -284,6 +296,8 @@ of ``-W(no-)*``.
:reverse: -Wno-typed-holes :reverse: -Wno-typed-holes
:category: :category:
:since: 7.8
:default: on :default: on
Determines whether the compiler reports typed holes warnings. Has no Determines whether the compiler reports typed holes warnings. Has no
...@@ -298,6 +312,8 @@ of ``-W(no-)*``. ...@@ -298,6 +312,8 @@ of ``-W(no-)*``.
:reverse: -Wno-deferred-type-errors :reverse: -Wno-deferred-type-errors
:category: :category:
:since: 8.4
Causes a warning to be reported when a type error is deferred until Causes a warning to be reported when a type error is deferred until
runtime. See :ref:`defer-type-errors` runtime. See :ref:`defer-type-errors`
...@@ -347,6 +363,8 @@ of ``-W(no-)*``. ...@@ -347,6 +363,8 @@ of ``-W(no-)*``.
:reverse: -fno-defer-out-of-scope-variables :reverse: -fno-defer-out-of-scope-variables
:category: :category:
:since: 8.0
Defer variable out-of-scope errors (errors about names without a leading underscore) Defer variable out-of-scope errors (errors about names without a leading underscore)
until runtime. This will turn variable-out-of-scope errors into warnings. until runtime. This will turn variable-out-of-scope errors into warnings.
Using a value that depends on an out-of-scope variable produces a runtime error, Using a value that depends on an out-of-scope variable produces a runtime error,
...@@ -374,6 +392,8 @@ of ``-W(no-)*``. ...@@ -374,6 +392,8 @@ of ``-W(no-)*``.
:reverse: -Wno-partial-type-signatures :reverse: -Wno-partial-type-signatures
:category: :category:
:since: 7.10
Determines whether the compiler reports holes in partial type Determines whether the compiler reports holes in partial type
signatures as warnings. Has no effect unless signatures as warnings. Has no effect unless
:extension:`PartialTypeSignatures` is enabled, which controls whether :extension:`PartialTypeSignatures` is enabled, which controls whether
...@@ -399,6 +419,8 @@ of ``-W(no-)*``. ...@@ -399,6 +419,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unrecognised-pragmas :reverse: -Wno-unrecognised-pragmas
:category: :category:
:since: 6.10
Causes a warning to be emitted when a pragma that GHC doesn't Causes a warning to be emitted when a pragma that GHC doesn't
recognise is used. As well as pragmas that GHC itself uses, GHC also recognise is used. As well as pragmas that GHC itself uses, GHC also
recognises pragmas known to be used by other tools, e.g. recognises pragmas known to be used by other tools, e.g.
...@@ -413,6 +435,8 @@ of ``-W(no-)*``. ...@@ -413,6 +435,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missed-specialisations :reverse: -Wno-missed-specialisations
:category: :category:
:since: 8.0
Emits a warning if GHC cannot specialise an overloaded function, usually Emits a warning if GHC cannot specialise an overloaded function, usually
because the function needs an ``INLINABLE`` pragma. Reports when the because the function needs an ``INLINABLE`` pragma. Reports when the
situation arises during specialisation of an imported function. situation arises during specialisation of an imported function.
...@@ -440,6 +464,8 @@ of ``-W(no-)*``. ...@@ -440,6 +464,8 @@ of ``-W(no-)*``.
:reverse: -Wno-all-missed-specialisations :reverse: -Wno-all-missed-specialisations
:category: :category:
:since: 8.0
Emits a warning if GHC cannot specialise an overloaded function, usually Emits a warning if GHC cannot specialise an overloaded function, usually
because the function needs an ``INLINABLE`` pragma. Reports because the function needs an ``INLINABLE`` pragma. Reports
all such situations. all such situations.
...@@ -463,6 +489,8 @@ of ``-W(no-)*``. ...@@ -463,6 +489,8 @@ of ``-W(no-)*``.
:reverse: -Wno-warnings-deprecations :reverse: -Wno-warnings-deprecations
:category: :category:
:since: 6.10
.. index:: .. index::
pair: deprecations; warnings pair: deprecations; warnings
...@@ -498,6 +526,8 @@ of ``-W(no-)*``. ...@@ -498,6 +526,8 @@ of ``-W(no-)*``.
:reverse: -Wno-noncanonical-monad-instances :reverse: -Wno-noncanonical-monad-instances
:category: :category:
:since: 8.0
Warn if noncanonical ``Applicative`` or ``Monad`` instances Warn if noncanonical ``Applicative`` or ``Monad`` instances
declarations are detected. declarations are detected.
...@@ -524,6 +554,8 @@ of ``-W(no-)*``. ...@@ -524,6 +554,8 @@ of ``-W(no-)*``.
:reverse: -Wno-noncanonical-monadfail-instances :reverse: -Wno-noncanonical-monadfail-instances
:category: :category:
:since: 8.0
This warning is deprecated. It no longer has any effect since GHC 8.8. This warning is deprecated. It no longer has any effect since GHC 8.8.
It was used during the transition period of the MonadFail proposal, It was used during the transition period of the MonadFail proposal,
to detect when an instance of the ``Monad`` class was not defined to detect when an instance of the ``Monad`` class was not defined
...@@ -538,6 +570,8 @@ of ``-W(no-)*``. ...@@ -538,6 +570,8 @@ of ``-W(no-)*``.
:reverse: -Wno-noncanonical-monoid-instances :reverse: -Wno-noncanonical-monoid-instances
:category: :category:
:since: 8.0
Warn if noncanonical ``Semigroup`` or ``Monoid`` instances Warn if noncanonical ``Semigroup`` or ``Monoid`` instances
declarations are detected. declarations are detected.
...@@ -564,6 +598,8 @@ of ``-W(no-)*``. ...@@ -564,6 +598,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missing-monadfail-instances :reverse: -Wno-missing-monadfail-instances
:category: :category:
:since: 8.0
This warning is deprecated. It no longer has any effect since GHC 8.8. This warning is deprecated. It no longer has any effect since GHC 8.8.
It was used during the transition period of the MonadFail proposal, It was used during the transition period of the MonadFail proposal,
to warn when a failable pattern is used in a do-block that does not have to warn when a failable pattern is used in a do-block that does not have
...@@ -576,6 +612,8 @@ of ``-W(no-)*``. ...@@ -576,6 +612,8 @@ of ``-W(no-)*``.
:reverse: -Wno-semigroup :reverse: -Wno-semigroup
:category: :category:
:since: 8.0
.. index:: .. index::
single: semigroup; warning single: semigroup; warning
...@@ -595,6 +633,8 @@ of ``-W(no-)*``. ...@@ -595,6 +633,8 @@ of ``-W(no-)*``.
:reverse: -Wno-deprecated-flags :reverse: -Wno-deprecated-flags
:category: :category:
:since: 6.10
.. index:: .. index::
single: deprecated flags single: deprecated flags
...@@ -609,6 +649,8 @@ of ``-W(no-)*``. ...@@ -609,6 +649,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unsupported-calling-conventions :reverse: -Wno-unsupported-calling-conventions
:category: :category:
:since: 7.6
Causes a warning to be emitted for foreign declarations that use Causes a warning to be emitted for foreign declarations that use
unsupported calling conventions. In particular, if the ``stdcall`` unsupported calling conventions. In particular, if the ``stdcall``
calling convention is used on an architecture other than i386 then calling convention is used on an architecture other than i386 then
...@@ -620,6 +662,8 @@ of ``-W(no-)*``. ...@@ -620,6 +662,8 @@ of ``-W(no-)*``.
:reverse: -Wno-dodgy-foreign-imports :reverse: -Wno-dodgy-foreign-imports
:category: :category:
:since: 6.10
Causes a warning to be emitted for foreign imports of the following Causes a warning to be emitted for foreign imports of the following
form: :: form: ::
...@@ -642,6 +686,8 @@ of ``-W(no-)*``. ...@@ -642,6 +686,8 @@ of ``-W(no-)*``.
:reverse: -Wno-dodgy-exports :reverse: -Wno-dodgy-exports
:category: :category:
:since: 6.12
Causes a warning to be emitted when a datatype ``T`` is exported Causes a warning to be emitted when a datatype ``T`` is exported
with all constructors, i.e. ``T(..)``, but is it just a type with all constructors, i.e. ``T(..)``, but is it just a type
synonym. synonym.
...@@ -655,6 +701,8 @@ of ``-W(no-)*``. ...@@ -655,6 +701,8 @@ of ``-W(no-)*``.
:reverse: -Wno-dodgy-imports :reverse: -Wno-dodgy-imports
:category: :category:
:since: 6.8
Causes a warning to be emitted in the following cases: Causes a warning to be emitted in the following cases:
- When a datatype ``T`` is imported with all constructors, i.e. - When a datatype ``T`` is imported with all constructors, i.e.
...@@ -669,6 +717,8 @@ of ``-W(no-)*``. ...@@ -669,6 +717,8 @@ of ``-W(no-)*``.
:reverse: -Wno-overflowed-literals :reverse: -Wno-overflowed-literals
:category: :category:
:since: 7.8
Causes a warning to be emitted if a literal will overflow, e.g. Causes a warning to be emitted if a literal will overflow, e.g.
``300 :: Word8``. ``300 :: Word8``.
...@@ -678,6 +728,8 @@ of ``-W(no-)*``. ...@@ -678,6 +728,8 @@ of ``-W(no-)*``.
:reverse: -Wno-empty-enumerations :reverse: -Wno-empty-enumerations
:category: :category:
:since: 7.8
Causes a warning to be emitted if an enumeration is empty, e.g. Causes a warning to be emitted if an enumeration is empty, e.g.
``[5 .. 3]``. ``[5 .. 3]``.
...@@ -704,6 +756,8 @@ of ``-W(no-)*``. ...@@ -704,6 +756,8 @@ of ``-W(no-)*``.
:reverse: -Wno-duplicate-constraints :reverse: -Wno-duplicate-constraints
:category: :category:
:since: 7.8
.. index:: .. index::
single: duplicate constraints, warning single: duplicate constraints, warning
...@@ -808,6 +862,8 @@ of ``-W(no-)*``. ...@@ -808,6 +862,8 @@ of ``-W(no-)*``.
:reverse: -Wno-identities :reverse: -Wno-identities
:category: :category:
:since: 7.2
Causes the compiler to emit a warning when a Prelude numeric Causes the compiler to emit a warning when a Prelude numeric
conversion converts a type ``T`` to the same type ``T``; such calls are conversion converts a type ``T`` to the same type ``T``; such calls are
probably no-ops and can be omitted. The functions checked for are: probably no-ops and can be omitted. The functions checked for are:
...@@ -820,6 +876,8 @@ of ``-W(no-)*``. ...@@ -820,6 +876,8 @@ of ``-W(no-)*``.
:reverse: -Wno-implicit-kind-vars :reverse: -Wno-implicit-kind-vars
:category: :category:
:since: 8.6
This warning is deprecated. It no longer has any effect since GHC 8.10. This warning is deprecated. It no longer has any effect since GHC 8.10.
It was used to detect if a kind variable is not explicitly quantified It was used to detect if a kind variable is not explicitly quantified
over. For instance, the following would produce a warning: :: over. For instance, the following would produce a warning: ::
...@@ -857,6 +915,8 @@ of ``-W(no-)*``. ...@@ -857,6 +915,8 @@ of ``-W(no-)*``.
:reverse: -Wno-implicit-prelude :reverse: -Wno-implicit-prelude
:category: :category:
:since: 6.8
.. index:: .. index::
single: implicit prelude, warning single: implicit prelude, warning
...@@ -881,6 +941,8 @@ of ``-W(no-)*``. ...@@ -881,6 +941,8 @@ of ``-W(no-)*``.
:reverse: -Wno-incomplete-patterns :reverse: -Wno-incomplete-patterns
:category: :category:
:since: 5.04
.. index:: .. index::
single: incomplete patterns, warning single: incomplete patterns, warning
single: patterns, incomplete single: patterns, incomplete
...@@ -905,6 +967,8 @@ of ``-W(no-)*``. ...@@ -905,6 +967,8 @@ of ``-W(no-)*``.
:reverse: -Wno-incomplete-uni-patterns :reverse: -Wno-incomplete-uni-patterns
:category: :category:
:since: 7.2
The flag :ghc-flag:`-Wincomplete-uni-patterns` is similar to The flag :ghc-flag:`-Wincomplete-uni-patterns` is similar to
:ghc-flag:`-Wincomplete-patterns`, except that it applies only to :ghc-flag:`-Wincomplete-patterns`, except that it applies only to
lambda-expressions and pattern bindings, constructs that only allow a lambda-expressions and pattern bindings, constructs that only allow a
...@@ -946,6 +1010,8 @@ of ``-W(no-)*``. ...@@ -946,6 +1010,8 @@ of ``-W(no-)*``.
:reverse: -Wno-incomplete-record-updates :reverse: -Wno-incomplete-record-updates
:category: :category:
:since: 6.4
.. index:: .. index::
single: incomplete record updates, warning single: incomplete record updates, warning
single: record updates, incomplete single: record updates, incomplete
...@@ -1032,6 +1098,8 @@ of ``-W(no-)*``. ...@@ -1032,6 +1098,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missing-import-lists :reverse: -Wno-missing-import-lists
:category: :category:
:since: 7.0
.. index:: .. index::
single: missing import lists, warning single: missing import lists, warning
single: import lists, missing single: import lists, missing
...@@ -1092,6 +1160,8 @@ of ``-W(no-)*``. ...@@ -1092,6 +1160,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missing-exported-sigs :reverse: -Wno-missing-exported-sigs
:category: :category:
:since: 7.10
.. index:: .. index::
single: type signatures, missing single: type signatures, missing
...@@ -1105,6 +1175,8 @@ of ``-W(no-)*``. ...@@ -1105,6 +1175,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missing-exported-signatures :reverse: -Wno-missing-exported-signatures
:category: :category:
:since: 8.0
.. index:: .. index::
single: type signatures, missing single: type signatures, missing
...@@ -1123,6 +1195,8 @@ of ``-W(no-)*``. ...@@ -1123,6 +1195,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missing-local-sigs :reverse: -Wno-missing-local-sigs
:category: :category:
:since: 7.0
.. index:: .. index::
single: type signatures, missing single: type signatures, missing
...@@ -1135,6 +1209,8 @@ of ``-W(no-)*``. ...@@ -1135,6 +1209,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missing-local-signatures :reverse: -Wno-missing-local-signatures
:category: :category:
:since: 8.0
.. index:: .. index::
single: type signatures, missing single: type signatures, missing
...@@ -1149,6 +1225,8 @@ of ``-W(no-)*``. ...@@ -1149,6 +1225,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missing-pattern-synonym-signatures :reverse: -Wno-missing-pattern-synonym-signatures
:category: :category:
:since: 8.0
.. index:: .. index::
single: type signatures, missing, pattern synonyms single: type signatures, missing, pattern synonyms
...@@ -1232,6 +1310,8 @@ of ``-W(no-)*``. ...@@ -1232,6 +1310,8 @@ of ``-W(no-)*``.
:reverse: -Wno-orphans :reverse: -Wno-orphans
:category: :category:
:since: 6.4
.. index:: .. index::
single: orphan instances, warning single: orphan instances, warning
single: orphan rules, warning single: orphan rules, warning
...@@ -1308,6 +1388,8 @@ of ``-W(no-)*``. ...@@ -1308,6 +1388,8 @@ of ``-W(no-)*``.
:reverse: -Wno-inaccessible-code :reverse: -Wno-inaccessible-code
:category: :category:
:since: 8.6
.. index:: .. index::
single: inaccessible code, warning single: inaccessible code, warning
single: inaccessible single: inaccessible
...@@ -1365,6 +1447,7 @@ of ``-W(no-)*``. ...@@ -1365,6 +1447,7 @@ of ``-W(no-)*``.
:extension:`StarIsType` :extension:`StarIsType`
:type: dynamic :type: dynamic
:reverse: -Wno-star-binder :reverse: -Wno-star-binder
:since: 8.6
Under :extension:`StarIsType`, a ``*`` in types is not an operator nor Under :extension:`StarIsType`, a ``*`` in types is not an operator nor
even a name, it is special syntax that stands for ``Data.Kind.Type``. This even a name, it is special syntax that stands for ``Data.Kind.Type``. This
...@@ -1424,6 +1507,8 @@ of ``-W(no-)*``. ...@@ -1424,6 +1507,8 @@ of ``-W(no-)*``.
:reverse: -Wno-tabs :reverse: -Wno-tabs
:category: :category:
:since: 6.8
.. index:: .. index::
single: tabs, warning single: tabs, warning
...@@ -1455,6 +1540,8 @@ of ``-W(no-)*``. ...@@ -1455,6 +1540,8 @@ of ``-W(no-)*``.
:reverse: -Wno-monomorphism-restriction :reverse: -Wno-monomorphism-restriction
:category: :category:
:since: 6.8
.. index:: .. index::
single: monomorphism restriction, warning single: monomorphism restriction, warning
...@@ -1472,6 +1559,8 @@ of ``-W(no-)*``. ...@@ -1472,6 +1559,8 @@ of ``-W(no-)*``.
:reverse: -Wno-monomorphism-restriction :reverse: -Wno-monomorphism-restriction
:category: :category:
:since: 7.8
Warn when using :ghc-flag:`-fllvm` with an unsupported version of LLVM. Warn when using :ghc-flag:`-fllvm` with an unsupported version of LLVM.
.. ghc-flag:: -Wmissed-extra-shared-lib .. ghc-flag:: -Wmissed-extra-shared-lib
...@@ -1480,6 +1569,8 @@ of ``-W(no-)*``. ...@@ -1480,6 +1569,8 @@ of ``-W(no-)*``.
:reverse: -Wno-missed-extra-shared-lib :reverse: -Wno-missed-extra-shared-lib
:category: :category:
:since: 8.8
Warn when GHCi can't load a shared lib it deduced it should load Warn when GHCi can't load a shared lib it deduced it should load
when loading a package and analyzing the extra-libraries stanza when loading a package and analyzing the extra-libraries stanza
of the target package description. of the target package description.
...@@ -1490,6 +1581,8 @@ of ``-W(no-)*``. ...@@ -1490,6 +1581,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unticked-promoted-constructors :reverse: -Wno-unticked-promoted-constructors
:category: :category:
:since: 7.10
.. index:: .. index::
single: promoted constructor, warning single: promoted constructor, warning
...@@ -1534,6 +1627,8 @@ of ``-W(no-)*``. ...@@ -1534,6 +1627,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unused-top-binds :reverse: -Wno-unused-top-binds
:category: :category:
:since: 8.0
.. index:: .. index::
single: unused binds, warning single: unused binds, warning
single: binds, unused single: binds, unused
...@@ -1568,6 +1663,8 @@ of ``-W(no-)*``. ...@@ -1568,6 +1663,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unused-local-binds :reverse: -Wno-unused-local-binds
:category: :category:
:since: 8.0
.. index:: .. index::
single: unused binds, warning single: unused binds, warning
single: binds, unused single: binds, unused
...@@ -1584,6 +1681,8 @@ of ``-W(no-)*``. ...@@ -1584,6 +1681,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unused-pattern-binds :reverse: -Wno-unused-pattern-binds
:category: :category:
:since: 8.0
.. index:: .. index::
single: unused binds, warning single: unused binds, warning
single: binds, unused single: binds, unused
...@@ -1648,6 +1747,8 @@ of ``-W(no-)*``. ...@@ -1648,6 +1747,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unused-do-bind :reverse: -Wno-unused-do-bind
:category: :category:
:since: 6.12
.. index:: .. index::
single: unused do binding, warning single: unused do binding, warning
single: do binding, unused single: do binding, unused
...@@ -1674,6 +1775,8 @@ of ``-W(no-)*``. ...@@ -1674,6 +1775,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unused-type-patterns :reverse: -Wno-unused-type-patterns
:category: :category:
:since: 8.0
.. index:: .. index::
single: unused type patterns, warning single: unused type patterns, warning
single: type patterns, unused single: type patterns, unused
...@@ -1709,6 +1812,8 @@ of ``-W(no-)*``. ...@@ -1709,6 +1812,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unused-foralls :reverse: -Wno-unused-foralls
:category: :category:
:since: 8.0
.. index:: .. index::
single: unused foralls, warning single: unused foralls, warning
single: foralls, unused single: foralls, unused
...@@ -1814,6 +1919,8 @@ of ``-W(no-)*``. ...@@ -1814,6 +1919,8 @@ of ``-W(no-)*``.
:reverse: -Wno-wrong-do-bind :reverse: -Wno-wrong-do-bind
:category: :category:
:since: 6.12
.. index:: .. index::
single: apparently erroneous do binding, warning single: apparently erroneous do binding, warning
single: do binding, apparently erroneous single: do binding, apparently erroneous
...@@ -1843,6 +1950,8 @@ of ``-W(no-)*``. ...@@ -1843,6 +1950,8 @@ of ``-W(no-)*``.
:reverse: -Wno-inline-rule-shadowing :reverse: -Wno-inline-rule-shadowing
:category: :category:
:since: 7.8
Warn if a rewrite RULE might fail to fire because the function might Warn if a rewrite RULE might fail to fire because the function might
be inlined before the rule has a chance to fire. See be inlined before the rule has a chance to fire. See
:ref:`rules-inline`. :ref:`rules-inline`.
...@@ -1865,6 +1974,8 @@ of ``-W(no-)*``. ...@@ -1865,6 +1974,8 @@ of ``-W(no-)*``.
:reverse: -Wno-unbanged-strict-patterns :reverse: -Wno-unbanged-strict-patterns
:category: :category:
:since: 8.2
This flag warns whenever you write a pattern that binds a variable whose This flag warns whenever you write a pattern that binds a variable whose
type is unlifted, and yet the pattern is not a bang pattern nor a bare variable. type is unlifted, and yet the pattern is not a bang pattern nor a bare variable.
See :ref:`glasgow-unboxed` for information about unlifted types. See :ref:`glasgow-unboxed` for information about unlifted types.
...@@ -1992,12 +2103,14 @@ of ``-W(no-)*``. ...@@ -1992,12 +2103,14 @@ of ``-W(no-)*``.
.. ghc-flag:: -Wauto-orphans .. ghc-flag:: -Wauto-orphans
:shortdesc: *(deprecated)* Does nothing :shortdesc: *(deprecated)* Does nothing
:type: dynamic :type: dynamic
:since: 7.4
Does nothing. Does nothing.
.. ghc-flag:: -Wmissing-space-after-bang .. ghc-flag:: -Wmissing-space-after-bang
:shortdesc: *(deprecated)* Does nothing :shortdesc: *(deprecated)* Does nothing
:type: dynamic :type: dynamic
:since: 8.8
Does nothing. Does nothing.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment