Commit 17a3dacb authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Bring kind variables into the type-checker's scope as well as type variables

Fixes Trac #8616
parent 063a1b25
......@@ -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 _ = []
---------------------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment