X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Ftypes%2FFunDeps.lhs;h=743a34c997478691eb018621027fdaf9f2fd0a33;hb=5ef7bcaa0b87744d3fc6eb6a076db0b76a40a625;hp=6fd587a2053d0fad29d31bd62a7c773561556c2d;hpb=989039af2ce80a2b1c42b6d9a9e2dda815b6449d;p=ghc-hetmet.git diff --git a/ghc/compiler/types/FunDeps.lhs b/ghc/compiler/types/FunDeps.lhs index 6fd587a..743a34c 100644 --- a/ghc/compiler/types/FunDeps.lhs +++ b/ghc/compiler/types/FunDeps.lhs @@ -17,11 +17,10 @@ import Name ( getSrcLoc ) import Var ( Id, TyVar ) import Class ( Class, FunDep, classTvsFds ) import Subst ( mkSubst, emptyInScopeSet, substTy ) -import TcType ( Type, ThetaType, SourceType(..), PredType, +import TcType ( Type, ThetaType, PredType(..), predTyUnique, mkClassPred, tyVarsOfTypes, tyVarsOfPred, unifyTyListsX, unifyExtendTysX, tcEqType ) -import PprType ( ) import VarSet import VarEnv import Outputable @@ -177,7 +176,7 @@ improve :: InstEnv Id -- Gives instances for given class type InstEnv a = Class -> [(TyVarSet, [Type], a)] -- This is a bit clumsy, because InstEnv is really -- defined in module InstEnv. However, we don't want --- to define it (and ClsInstEnv) here because InstEnv +-- to define it here because InstEnv -- is their home. Nor do we want to make a recursive -- module group (InstEnv imports stuff from FunDeps). \end{code}