#7282: polykinds error: Found `k' but expected `k'
---------------------------------------+------------------------------------
Reporter: HolgerReinhardt | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------------+------------------------------------
{{{
{-# OPTIONS -XTypeFamilies -XDataKinds -XPolyKinds #-}
class Foo (xs :: [k]) where
type Bar xs :: *
instance Foo '[] where
type Bar '[] = Int
}}}
fails with:
{{{
I:\a.hs:7:5:
Type indexes must match class instance head
Found `k' but expected `k'
In the type instance declaration for `Bar'
In the instance declaration for `Foo '[]'
}}}
If I change the kind of xs from [k] to [*], the program is accepted.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7282>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
