Allow wildcards in type synonyms and data declarations
data Konst a _ = Konst a
type Const a _ = a
type Tagged _ b = b
type Forget m a _ = a -> m
Trac metadata
Trac field | Value |
---|---|
Version | |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | lowest |
Resolution | Unresolved |
Component | Compiler (Parser) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |