X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcHsType.lhs;h=28413329cd58bc1f0063a316a0924d6ca274596e;hb=04612d54b51bebf809717d1cf0242efb6294ee59;hp=be08b09bd69c3d92e24c6ef710c4569d87814cee;hpb=8254dcf1884fde961c477d5784024ec8ab1d84d2;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcHsType.lhs b/ghc/compiler/typecheck/TcHsType.lhs
index be08b09..2841332 100644
--- a/ghc/compiler/typecheck/TcHsType.lhs
+++ b/ghc/compiler/typecheck/TcHsType.lhs
@@ -39,9 +39,9 @@ import TcUnify		( unifyFunKind, checkExpectedKind )
 import TcType		( Type, PredType(..), ThetaType, 
 			  MetaDetails(Flexi), hoistForAllTys,
 			  TcType, TcTyVar, TcKind, TcThetaType, TcTauType,
-		 	  mkForAllTys, mkFunTys, tcEqType, isPredTy, mkFunTy, 
+		 	  mkFunTy, 
 			  mkSigmaTy, mkPredTy, mkGenTyConApp, mkTyConApp, mkAppTys, 
-			  tcSplitFunTy_maybe, tcSplitForAllTys, typeKind )
+			  typeKind )
 import Kind 		( Kind, isLiftedTypeKind, liftedTypeKind, ubxTupleKind, 
 			  openTypeKind, argTypeKind, splitKindFunTys )
 import Id		( idName )
@@ -52,14 +52,12 @@ import Name		( Name, mkInternalName )
 import OccName		( mkOccName, tvName )
 import NameSet
 import PrelNames	( genUnitTyConName )
-import Type		( deShadowTy )
 import TysWiredIn	( mkListTy, mkPArrTy, mkTupleTy )
 import Bag		( bagToList )
 import BasicTypes	( Boxity(..) )
 import SrcLoc		( Located(..), unLoc, noLoc, srcSpanStart )
 import UniqSupply	( uniqsFromSupply )
 import Outputable
-import List		( nubBy )
 \end{code}
 
 
@@ -157,6 +155,7 @@ tcHsSigType ctxt hs_ty
 	; ty <- tcHsKindedType kinded_ty
 	; checkValidType ctxt ty	
 	; returnM ty }
+
 -- Used for the deriving(...) items
 tcHsDeriv :: LHsType Name -> TcM ([TyVar], Class, [Type])
 tcHsDeriv = addLocM (tc_hs_deriv [])