Missing pattern synonym signatures gives incorrect fix

The following pattern definition

pattern RP pname help type' <- ParamDesc pname help type' Required
  where RP pname help type' = ParamDesc pname help type' Required

Gives the warning

    /....../PluginTypes.hs:248:1: warning: [-Wmissing-signatures]
        Top-level binding with no type signature:
          RP :: ParamName -> ParamHelp -> ParamType -> ParamDescription

The required signature is in fact

pattern RP :: ParamName -> ParamHelp -> ParamType -> ParamDescription

Trac metadata

Trac field	Value
Version	8.0.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	mpickering
Operating system
Architecture