Promoted constructors accepted without flag
Sean Leather reports that
data N = Z
type T = 'Zis accepted without -XDataKinds.
Interestingly, if we remove the quote on 'Z we get the expected error:
Not in scope: type constructor or class `Z'
A data constructor of that name is in scope; did you mean -XDataKinds?Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | leather@cs.uu.nl |
| Operating system | |
| Architecture |
Edited by dreixel