Re: [GHC] #7282: polykinds error: Found `k' but expected `k'

29 Jan 2013

      #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 
 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