#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: | ---------------------------------------+------------------------------------ Comment(by simonpj@…): commit d79c0c48bb64f85ab45adcc3158be9f71845f974 {{{ Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Tue Jan 29 08:43:02 2013 +0000 Improve consistency checking for associated type-family instances The "consistency" in this case is beteween the instance head and the associated type instance head, which is made trickier by the presence of kind variables that are not explicitly mentioned in the class head. See Note [Checking consistent instantiation] in TcInstDcls This fixes Trac #7282. compiler/typecheck/TcInstDcls.lhs | 239 ++++++++++++++++++++++------------- compiler/typecheck/TcTyClsDecls.lhs | 37 ------ 2 files changed, 154 insertions(+), 122 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7282#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler