"data X = 1": "Illegal literal in type (use DataKinds to enable): 1"
This error message is not good. "1" is not in a type position, and DataKinds will not help anything. Well, except the error message, which with DataKinds enabled is instead
parse error in constructor in data/newtype declaration: 1If it's not hard, we should give that error message also when DataKinds is disabled.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.9 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |