X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs;h=20aaa9fca8db18a489bd37073339a6f92841b1d3;hp=cb37580590193e6e9586b508b0421a4084e24c14;hb=9da4639011348fb6c318e3cba4b08622f811d9c4;hpb=a835e9faf19400aa6b7999b6f64e60cb1c7737dd

diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index cb37580..20aaa9f 100644
--- a/compiler/iface/TcIface.lhs
+++ b/compiler/iface/TcIface.lhs
@@ -27,18 +27,15 @@ import TcRnMonad
 import Type		( liftedTypeKind, splitTyConApp, mkTyConApp,
                           liftedTypeKindTyCon, unliftedTypeKindTyCon, 
                           openTypeKindTyCon, argTypeKindTyCon, 
-                          ubxTupleKindTyCon,
-			  mkTyVarTys, ThetaType )
+                          ubxTupleKindTyCon, ThetaType )
 import TypeRep		( Type(..), PredType(..) )
-import TyCon		( TyCon, tyConName, SynTyConRhs(..), 
-			  AlgTyConParent(..), setTyConArgPoss )
+import TyCon		( TyCon, tyConName, SynTyConRhs(..), setTyConArgPoss )
 import HscTypes		( ExternalPackageState(..), 
 			  TyThing(..), tyThingClass, tyThingTyCon, 
 			  ModIface(..), ModDetails(..), HomeModInfo(..),
 			  emptyModDetails, lookupTypeEnv, lookupType,
 			  typeEnvIds, mkDetailsFamInstCache )
 import InstEnv		( Instance(..), mkImportedInstance )
-import FamInstEnv	( extractFamInsts )
 import CoreSyn
 import CoreUtils	( exprType, dataConRepFSInstPat )
 import CoreUnfold
@@ -52,9 +49,9 @@ import IdInfo		( IdInfo, CafInfo(..), WorkerInfo(..),
 			  vanillaIdInfo, newStrictnessInfo )
 import Class		( Class )
 import TyCon		( tyConDataCons, isTupleTyCon, mkForeignTyCon )
-import DataCon		( DataCon, dataConWorkId, dataConExTyVars, dataConInstArgTys )
+import DataCon		( DataCon, dataConWorkId )
 import TysWiredIn	( tupleCon, tupleTyCon, listTyCon, intTyCon, boolTyCon, charTyCon, parrTyCon )
-import Var		( TyVar, mkTyVar, tyVarKind )
+import Var		( TyVar, mkTyVar )
 import Name		( Name, nameModule, nameIsLocalOrFrom, isWiredInName,
  			  nameOccName, wiredInNameTyThing_maybe )
 import NameEnv
@@ -68,12 +65,11 @@ import Outputable
 import ErrUtils		( Message )
 import Maybes		( MaybeErr(..) )
 import SrcLoc		( noSrcLoc )
-import Util		( zipWithEqual, equalLength, splitAtList )
+import Util		( zipWithEqual, equalLength )
 import DynFlags		( DynFlag(..), isOneShot )
 
 import List		( elemIndex)
 import Maybe		( catMaybes )
-import Monad		( liftM )
 \end{code}
 
 This module takes