X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcTyDecls.lhs;h=ce9112de962f14eb2633ebef8a3cba322ea89186;hb=9003a18c4efa4548ae80709aef9963f7b544ded3;hp=636e67b1719778db7be351fa3a8466276ee23b70;hpb=7f9f2f0a0b571a3fd55af7c85d662d08c5b3f0e3;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs
index 636e67b..ce9112d 100644
--- a/ghc/compiler/typecheck/TcTyDecls.lhs
+++ b/ghc/compiler/typecheck/TcTyDecls.lhs
@@ -21,7 +21,7 @@ import TcEnv		( tcExtendTyVarEnv,
 			  tcLookupTyCon, tcLookupRecId, 
 			  TyThingDetails(..), RecTcEnv
 			)
-import TcType		( tcEqType, tyVarsOfTypes, tyVarsOfPred, ThetaType )
+import TcType		( tyVarsOfTypes, tyVarsOfPred, ThetaType )
 import TcMonad
 
 import DataCon		( DataCon, mkDataCon, dataConFieldLabels )
@@ -31,8 +31,7 @@ import Var		( TyVar )
 import Name		( Name, NamedThing(..) )
 import Outputable
 import TyCon		( TyCon, DataConDetails(..), visibleDataCons,
-			  tyConName, tyConTheta, 
-			  tyConTyVars, isSynTyCon )
+			  tyConTyVars )
 import VarSet		( intersectVarSet, isEmptyVarSet )
 import PrelNames	( unpackCStringName, unpackCStringUtf8Name )
 import List		( nubBy )