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 |