Commit 3c39bec1 authored by Matthew Pickering's avatar Matthew Pickering

Rename missing-pat-syn-sigs to missing-pat-syn-signatures

parent 426a25c7
......@@ -3223,7 +3223,7 @@ wWarningFlagsDeps = [
flagSpec "unused-type-patterns" Opt_WarnUnusedTypePatterns,
flagSpec "warnings-deprecations" Opt_WarnWarningsDeprecations,
flagSpec "wrong-do-bind" Opt_WarnWrongDoBind,
flagSpec "missing-pat-syn-sigs" Opt_WarnMissingPatSynSigs,
flagSpec "missing-pat-syn-signatures" Opt_WarnMissingPatSynSigs,
flagSpec "unrecognised-warning-flags" Opt_WarnUnrecognisedWarningFlags ]
-- | These @-\<blah\>@ flags can all be reversed with @-no-\<blah\>@
......
......@@ -268,7 +268,7 @@ Compiler
warnings makes sure the definition of ``Semigroup`` as a superclass of
``Monoid`` does not break any code.
- Added the :ghc-flag:`-Wmissing-pat-syn-sigs` flag. When enabled, this will issue
- Added the :ghc-flag:`-Wmissing-pat-syn-signatures` flag. When enabled, this will issue
a warning when a pattern synonym definition doesn't have a type signature.
It is turned off by default but enabled by :ghc-flag:`-Wall`.
......
......@@ -618,13 +618,13 @@ of ``-W(no-)*``.
about any polymorphic local bindings. As part of the warning GHC
also reports the inferred type. The option is off by default.
.. ghc-flag:: -Wmissing-pat-syn-sigs
.. ghc-flag:: -Wmissing-pat-syn-signatures
.. index::
single: type signatures, missing, pattern synonyms
If you would like GHC to check that every pattern synonym has a type
signature, use the :ghc-flag:`-Wmissing-pat-syn-sigs` option. If this option is
signature, use the :ghc-flag:`-Wmissing-pat-syn-signatures` option. If this option is
used in conjunction with :ghc-flag:`-Wmissing-exported-sigs` then only
exported pattern synonyms must have a type signature. GHC also reports the
inferred type. This option is off by default.
......
{-# LANGUAGE PatternSynonyms #-}
-- turn on with -fwarn-missing-pat-syn-sigs
-- turn on with -fwarn-missing-pat-syn-signatures
module Foo where
......
......@@ -26,6 +26,6 @@ test('poly-export-fail2', expect_broken(10653), compile_fail, [''])
test('export-super-class-fail', expect_broken(10653), compile_fail, [''])
test('export-type-synonym', normal, compile_fail, [''])
test('export-ps-rec-sel', normal, compile_fail, [''])
test('T11053', normal, compile, ['-fwarn-missing-pat-syn-sigs'])
test('T11053', normal, compile, ['-fwarn-missing-pat-syn-signatures'])
test('T10426', normal, compile_fail, [''])
test('T11265', normal, compile_fail, [''])
Markdown is supported
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