X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcHsType.lhs;h=473166d2a4e023af5e01f76b7bdef1d9636ab023;hb=1f5e55804b97d2b9a77207d568d602ba88d8855d;hp=0861e8c941094ee030adb22e1e3dcffddd7a8d2f;hpb=599e42c2948811e71607c5167d9345ddd74d83c3;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcHsType.lhs b/ghc/compiler/typecheck/TcHsType.lhs
index 0861e8c..473166d 100644
--- a/ghc/compiler/typecheck/TcHsType.lhs
+++ b/ghc/compiler/typecheck/TcHsType.lhs
@@ -43,14 +43,12 @@ import TcType		( Type, PredType(..), ThetaType, TyVarDetails(..),
 		 	  mkForAllTys, mkFunTys, tcEqType, isPredTy,
 			  mkSigmaTy, mkPredTy, mkGenTyConApp, mkTyConApp, mkAppTys, 
 			  liftedTypeKind, unliftedTypeKind, eqKind,
-			  tcSplitFunTy_maybe, tcSplitForAllTys, tcSplitSigmaTy, 
-			  pprKind, pprThetaArrow )
+			  tcSplitFunTy_maybe, tcSplitForAllTys, pprKind )
 import qualified Type	( splitFunTys )
 import Inst		( Inst, InstOrigin(..), newMethod, instToId )
 
 import Id		( mkLocalId, idName, idType )
 import Var		( TyVar, mkTyVar, tyVarKind )
-import ErrUtils		( Message )
 import TyCon		( TyCon, tyConKind )
 import Class		( classTyCon )
 import Name		( Name )