[commit: ghc] master: Bring kind variables into the type-checker's scope as well as type variables (17a3dac)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/17a3dacba03f7a800444c135e93ce1b81a89e158/ghc

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

commit 17a3dacba03f7a800444c135e93ce1b81a89e158
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Jan 10 18:12:50 2014 +0000

    Bring kind variables into the type-checker's scope as well as type variables
    
    Fixes Trac #8616


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

17a3dacba03f7a800444c135e93ce1b81a89e158
 compiler/hsSyn/HsTypes.lhs |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/hsSyn/HsTypes.lhs b/compiler/hsSyn/HsTypes.lhs
index dfc5817..2aaa76d 100644
--- a/compiler/hsSyn/HsTypes.lhs
+++ b/compiler/hsSyn/HsTypes.lhs
@@ -407,9 +407,9 @@ plus :: HsExplicitFlag -> HsExplicitFlag -> HsExplicitFlag
 Implicit `plus` Implicit = Implicit
 _        `plus` _        = Explicit
 
-hsExplicitTvs :: LHsType name -> [name]
+hsExplicitTvs :: LHsType Name -> [Name]
 -- The explicitly-given forall'd type variables of a HsType
-hsExplicitTvs (L _ (HsForAllTy Explicit tvs _ _)) = hsLTyVarNames tvs
+hsExplicitTvs (L _ (HsForAllTy Explicit tvs _ _)) = hsLKiTyVarNames tvs
 hsExplicitTvs _                                   = []
 
 ---------------------