[GHC] #7601: Internal error with kind annotation on associated type family

[GHC]

#7601: Internal error with kind annotation on associated type family
-----------------------------+----------------------------------------------
Reporter:  dreixel           |          Owner:                  
    Type:  bug               |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.7               |       Keywords:  polykinds       
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:                  
-----------------------------+----------------------------------------------

Comment(by simonpj@…):

 commit 82219ae218ac7e51e6d160cadd16dc030fa9c004
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Fri Jan 25 13:20:37 2013 +0000

     The type/kind variables of a class decl scope over the associated
 types

     Fixes Trac #7601

  compiler/typecheck/TcTyClsDecls.lhs |   67
 +++++++++++++++--------------------
  1 files changed, 29 insertions(+), 38 deletions(-)
 }}}

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