[GHC] #7073: Kind variable problem when declaring associated type family

[GHC]

#7073: Kind variable problem when declaring associated type family
------------------------------+---------------------------------------------
 Reporter:  goldfire          |          Owner:                         
     Type:  bug               |         Status:  new                    
 Priority:  normal            |      Component:  Compiler (Type checker)
  Version:  7.5               |       Keywords:  PolyKinds TypeFamilies 
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple       
  Failure:  None/Unknown      |       Testcase:                         
Blockedby:                    |       Blocking:                         
  Related:                    |  
------------------------------+---------------------------------------------

Comment(by simonpj@…):

 commit 3b9be226397535492a08cd4f25d5f672d245385b
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Sat Jul 14 13:12:13 2012 +0100

     When checking associated type instances, check that
     the *type* indices match those of the class instance.
     We don't need to track tke kind indices, and indeed
     thay don't have the same careful name scoping.
     See the notes in checkValidClass.

     Fixes Trac #7073

  compiler/typecheck/TcTyClsDecls.lhs |   17 ++++++++++++++++-
  1 files changed, 16 insertions(+), 1 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7073#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler