Inaccessible RHS warning is confusing for users
The pattern match checker makes the distinction between redundant matches and matches with an inaccessible right hand side.
A pattern with an inaccessible RHS, is a redundant pattern which forces the argument so affects strictness.
I think this is confusing for users as most of the time you write programs assuming totality but the error message doesn't make it clear why the two warnings are different. I think that instead they should both be called redundant but a note added to the inaccessible case explaining that removing it could affect strictness.
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 | gkaracha |
Operating system | |
Architecture |