X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcInstDcls.lhs;h=f171f16c1a41a45e7368ace7acff60e6743f635b;hb=5e3f005d3012472e422d4ffd7dca5c21a80fca80;hp=6578580a5fe73762ee26dce16ec5d56e887c3871;hpb=f5a6b456f08ab320ef0d07a08d90a63557c39364;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcInstDcls.lhs b/ghc/compiler/typecheck/TcInstDcls.lhs index 6578580..f171f16 100644 --- a/ghc/compiler/typecheck/TcInstDcls.lhs +++ b/ghc/compiler/typecheck/TcInstDcls.lhs @@ -42,7 +42,8 @@ import TcEnv ( TcEnv, tcExtendGlobalValEnv, ) import InstEnv ( InstEnv, extendInstEnv ) import PprType ( pprClassPred ) -import TcMonoType ( tcHsTyVars, kcHsSigType, tcHsType, tcHsSigType, checkSigTyVars ) +import TcMonoType ( tcHsTyVars, kcHsSigType, tcHsType, tcHsSigType ) +import TcUnify ( checkSigTyVars ) import TcSimplify ( tcSimplifyCheck ) import HscTypes ( HomeSymbolTable, DFunId, ModDetails(..), PackageInstEnv, PersistentRenamerState @@ -50,7 +51,7 @@ import HscTypes ( HomeSymbolTable, DFunId, import Subst ( substTy, substTheta ) import DataCon ( classDataCon ) -import Class ( Class, DefMeth(..), classBigSig ) +import Class ( Class, classBigSig ) import Var ( idName, idType ) import VarSet ( emptyVarSet ) import Id ( setIdLocalExported )