Promoted constructors accepted without flag
Sean Leather reports that
data N = Z
type T = 'Z
is 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 |