[GHC] #6020: "Couldn't match kind" with free type variables and PolyKinds

[GHC]

#6020: "Couldn't match kind" with free type variables and PolyKinds
---------------------------------------+------------------------------------
 Reporter:  atnnn                      |          Owner:                  
     Type:  feature request            |         Status:  new             
 Priority:  normal                     |      Component:  Compiler        
  Version:  7.5                        |       Keywords:                  
       Os:  Unknown/Multiple           |   Architecture:  Unknown/Multiple
  Failure:  GHC rejects valid program  |       Testcase:                  
Blockedby:                             |       Blocking:                  
  Related:                             |  
---------------------------------------+------------------------------------

Comment(by simonpj@…):

 commit 6b0537a13b101755d9f2b807e32751845ada6c4f
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Sun Apr 22 17:52:55 2012 +0100

     Respect kind-variable scoping when instantiating dfuns

     Fixes Trac #6020

  compiler/typecheck/TcInteract.lhs |   17 +++++---------
  compiler/typecheck/TcSMonad.lhs   |   44
 +++++++++++++++++++++---------------
  compiler/types/InstEnv.lhs        |   34 +++++++++++++---------------
  3 files changed, 48 insertions(+), 47 deletions(-)
 }}}

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