diff --git a/ghc/compiler/parser/RdrHsSyn.lhs b/ghc/compiler/parser/RdrHsSyn.lhs index eb9a8a4d378fa3ebe3821b1261bd04e32b370247..cdb59b786ced2d61052c891e33633617e4dd74a8 100644 --- a/ghc/compiler/parser/RdrHsSyn.lhs +++ b/ghc/compiler/parser/RdrHsSyn.lhs @@ -519,6 +519,7 @@ checkTyVars :: [RdrNameHsType] -> P [RdrNameHsTyVar] checkTyVars tvs = mapP chk tvs where + -- Check that the name space is correct! chk (HsKindSig (HsTyVar tv) k) | isRdrTyVar tv = returnP (IfaceTyVar tv k) chk (HsTyVar tv) | isRdrTyVar tv = returnP (UserTyVar tv) chk other = parseError "Type found where type variable expected"