[commit: ghc] ghc-spj: Respect kind-variable scoping when instantiating dfuns (6b0537a)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-spj

http://hackage.haskell.org/trac/ghc/changeset/6b0537a13b101755d9f2b807e32751845ada6c4f

>---------------------------------------------------------------

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(-)


Diff suppressed because of size. To see it, use:

    git show 6b0537a13b101755d9f2b807e32751845ada6c4f