[GHC] #6118: Kind variable falls out of scope in instance declaration

[GHC]

#6118: Kind variable falls out of scope in instance declaration
---------------------------------+------------------------------------------
    Reporter:  goldfire          |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  normal            |   Milestone:                  
   Component:  Compiler          |     Version:  7.5             
    Keywords:  PolyKinds         |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by simonpj@…):

 commit 6a8b4290f002cbe042199116ae2d71955dc544a1
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Tue May 22 15:14:48 2012 +0100

     Fix scoping of kind variables in instance declarations

     Fixes Trac #6118

  compiler/hsSyn/HsTypes.lhs   |   29 +++++++++++++++++---------
  compiler/rename/RnBinds.lhs  |    2 +-
  compiler/rename/RnSource.lhs |   46
 +++++++++++++++++++++++++++--------------
  3 files changed, 50 insertions(+), 27 deletions(-)
 }}}

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