diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-01-10 18:12:50 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-01-10 18:16:51 +0000 |
| commit | 17a3dacba03f7a800444c135e93ce1b81a89e158 (patch) | |
| tree | a222c6a129007e29572198c920cdb27829b846c4 | |
| parent | 063a1b25459a9f1576bd5c29b6aa931b6b3da690 (diff) | |
| download | haskell-17a3dacba03f7a800444c135e93ce1b81a89e158.tar.gz | |
Bring kind variables into the type-checker's scope as well as type variables
Fixes Trac #8616
| -rw-r--r-- | compiler/hsSyn/HsTypes.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/hsSyn/HsTypes.lhs b/compiler/hsSyn/HsTypes.lhs index dfc5817a7d..2aaa76dd0a 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 _ = [] --------------------- |