X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcTyClsDecls.lhs;h=175bc5b8cbf8856c41a35a0d7dfb5fd5a79776e5;hb=7745c6095145f1be0ca8fff76ef558ca7ad2ebed;hp=3c25a7fa2712627578380bda0c7d48ef5c3c81a2;hpb=138b885a335734039daf7debb0a7dfc3dc947c00;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs
index 3c25a7f..175bc5b 100644
--- a/compiler/typecheck/TcTyClsDecls.lhs
+++ b/compiler/typecheck/TcTyClsDecls.lhs
@@ -41,7 +41,8 @@ import TcType		( TcKind, TcType, Type, tyVarsOfType, mkPhiTy,
 			  mkArrowKind, liftedTypeKind, mkTyVarTys, 
 			  tcSplitSigmaTy, tcEqTypes, tcGetTyVar_maybe )
 import Type		( PredType(..), splitTyConApp_maybe, mkTyVarTy,
-                          newTyConInstRhs, isLiftedTypeKind, Kind
+                          newTyConInstRhs, isLiftedTypeKind, Kind,
+                          splitKindFunTys, mkArrowKinds
 			  -- pprParendType, pprThetaArrow
 			)
 import Generics		( validGenericMethodType, canDoGenerics )