Warn about unused pattern variables in type families
Now that we have wildcards in type families (#3699 (closed)) I want to be warned about unused pattern variables in the same way I am warned about them at the term level. For example this should cause a warning that b
is not used:
type family F a b
type instance F a b = a
Prefixing unused variable with an underscore should suppress the warning:
type family F a b
type instance F a _b = a
Trac metadata
Trac field | Value |
---|---|
Version | 7.11 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | msosn |
Operating system | |
Architecture |