DeriveFunctor and PolyKinds
A tiny infelicity:
{-# LANGUAGE DeriveFunctor #-}
data A a = A deriving Functorworks only if PolyKinds is disabled, otherwise it reports that A has kind k -> * instead of expected * -> *. On the other hand, standalone deriving works fine.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |