X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcHsType.lhs;h=30a47f7a5d842ed96e3aa5afbbd596e5d47401f4;hp=8411631d8a6ca56536757572d70a61dc35f04846;hb=80c89b80c355b2aaebcd53330e6c6170c3f05aca;hpb=f8171baf9ad2158d214945ffa4d38fc4616b2296

diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs
index 8411631..30a47f7 100644
--- a/compiler/typecheck/TcHsType.lhs
+++ b/compiler/typecheck/TcHsType.lhs
@@ -45,7 +45,7 @@ import TcType		( Type, PredType(..), ThetaType, BoxySigmaType,
 			  substTyWith, mkTyVarTys, tcEqType,
 		 	  tcIsTyVarTy, mkFunTy, mkSigmaTy, mkPredTy, 
 			  mkTyConApp, mkAppTys, typeKind )
-import Kind 		( Kind, isLiftedTypeKind, liftedTypeKind, ubxTupleKind, 
+import {- Kind parts of -} Type 		( Kind, isLiftedTypeKind, liftedTypeKind, ubxTupleKind, 
 			  openTypeKind, argTypeKind, splitKindFunTys )
 import Var		( TyVar, mkTyVar, tyVarName )
 import TyCon		( TyCon, tyConKind )
@@ -630,7 +630,8 @@ tcDataKindSig :: Maybe Kind -> TcM [TyVar]
 -- GADT decls can have a (perhaps partial) kind signature
 --	e.g.  data T :: * -> * -> * where ...
 -- This function makes up suitable (kinded) type variables for 
--- the argument kinds, and checks that the result kind is indeed *
+-- the argument kinds, and checks that the result kind is indeed *.
+-- We use it also to make up argument type variables for for data instances.
 tcDataKindSig Nothing = return []
 tcDataKindSig (Just kind)
   = do	{ checkTc (isLiftedTypeKind res_kind) (badKindSig kind)