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 |