X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcHsSyn.lhs;h=086e58d2301ce1581b32af35a7f69d977266ebfc;hb=0fe38fdce8e7c7e88fd1188ba95c085717524e21;hp=30c6100838a83927af5c0853ed20eaa4753cae40;hpb=be33dbc967b4915cfdb0307ae1b7ae3cee651b8c;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcHsSyn.lhs b/ghc/compiler/typecheck/TcHsSyn.lhs
index 30c6100..086e58d 100644
--- a/ghc/compiler/typecheck/TcHsSyn.lhs
+++ b/ghc/compiler/typecheck/TcHsSyn.lhs
@@ -37,8 +37,7 @@ module TcHsSyn (
 -- friends:
 import HsSyn	-- oodles of it
 import Id	( GenId(..), IdDetails,	-- Can meddle modestly with Ids
-		  DictVar, idType, dataConArgTys,
-		  Id
+		  dataConArgTys, Id
 		)
 
 -- others:
@@ -53,14 +52,13 @@ import TcType	( TcType, TcMaybe, TcTyVar, TcBox,
 		  zonkTcTypeToType, zonkTcTyVarToTyVar, zonkTcType
 		)
 import TyCon	( isDataTyCon )
-import Type	( mkTyVarTy, tyVarsOfType, splitAlgTyConApp_maybe, isUnpointedType, Type )
-import TyVar	( TyVar, TyVarEnv, emptyTyVarEnv, growTyVarEnvList, emptyTyVarSet )
+import Type	( mkTyVarTy, splitAlgTyConApp_maybe, isUnpointedType, Type )
+import TyVar	( TyVar, TyVarEnv, emptyTyVarEnv, growTyVarEnvList )
 import TysPrim	( voidTy )
 import CoreSyn  ( GenCoreExpr )
 import Unique	( Unique )		-- instances
 import Bag
 import UniqFM
-import Util	( zipEqual )
 import Outputable
 \end{code}