X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=cc91be8239ac9322d83bf40f7034fa736e5b1e19;hb=5d541fe7c43a1dc4c1b2dd9ee49e64238b0754ca;hp=8971320491ed72a668e94f76a3c619db02002e3f;hpb=3e83dfb21b2f2220dce97427fff5c19459ae68d1;p=ghc-hetmet.git

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index 8971320..cc91be8 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -71,16 +71,17 @@ import Type	( TvSubst, substTy, substTyVar, substTyWith, substTheta, zipTopTvSub
 import Unify	( tcMatchTys )
 import Module	( modulePackageId )
 import {- Kind parts of -} Type	( isSubKind )
+import Coercion ( isEqPred )
 import HscTypes	( ExternalPackageState(..), HscEnv(..) )
 import CoreFVs	( idFreeTyVars )
 import DataCon	( DataCon, dataConStupidTheta, dataConName, 
                   dataConWrapId, dataConUnivTyVars )
-import Id	( Id, idName, idType, mkUserLocal, mkLocalId )
+import Id	( Id, idName, idType, mkUserLocal, mkLocalId, isId )
 import Name	( Name, mkMethodOcc, getOccName, getSrcLoc, nameModule,
 		  isInternalName, setNameUnique )
 import NameSet	( addOneToNameSet )
 import Literal	( inIntRange )
-import Var	( TyVar, tyVarKind, setIdType )
+import Var	( Var, TyVar, tyVarKind, setIdType, mkTyVar )
 import VarEnv	( TidyEnv, emptyTidyEnv )
 import VarSet	( elemVarSet, emptyVarSet, unionVarSet, mkVarSet )
 import TysWiredIn ( floatDataCon, doubleDataCon )