defer-type-errors and equality constraints
Consider
{-# OPTIONS_GHC -fdefer-type-errors #-}
x = const True ('a' + 'a')
y = const True (not 'a')Currently x is True, but y is undefined. I think it would make sense for both to be True.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.4.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |