Expected kind ‘k0’, but has kind ‘(forall k. k, forall k. k)’
The following code works in GHC 7.10:
{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds, UndecidableInstances #-}
type family Default :: k
type instance Default = '(Default, Default)But fails in HEAD with:
Expected kind ‘k0’, but ‘'(Default, Default)’ has kind ‘(forall k. k, forall k. k)’Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.11 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |