diff options
Diffstat (limited to 'docs/users_guide/using-warnings.rst')
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index 9eaf63ed80..cb95ffb263 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -456,6 +456,20 @@ of ``-W(no-)*``. recognises pragmas known to be used by other tools, e.g. ``OPTIONS_HUGS`` and ``DERIVE``. +.. ghc-flag:: -Wmisplaced-pragmas + :shortdesc: warn about uses of file header pragmas in the module body + :type: dynamic + :reverse: -Wno-misplaced-pragmas + :category: + + :since: 9.4 + + :default: on + + Warn when a pragma that should only appear in the header of a module, + such as a `LANGUAGE` or `OPTIONS_GHC` pragma, appears in the body of + the module instead. + .. ghc-flag:: -Wmissed-specialisations :shortdesc: warn when specialisation of an imported, overloaded function fails. |