X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FFunDeps.lhs;h=1534dc66f18da9be3eb2aa4cee65cd6a43e97aab;hp=70000750629945d41b288e4b1f112d85804607be;hb=c76c69c5b62f1ca4fa52d75b0dfbd37b7eddbb09;hpb=f3c4792fad3bf46e5ee500a909287718324c45d1 diff --git a/compiler/types/FunDeps.lhs b/compiler/types/FunDeps.lhs index 7000075..1534dc6 100644 --- a/compiler/types/FunDeps.lhs +++ b/compiler/types/FunDeps.lhs @@ -17,8 +17,8 @@ module FunDeps ( import Name ( Name, getSrcLoc ) import Var ( TyVar ) -import Class ( Class, FunDep, classTvsFds ) -import Unify ( tcUnifyTys, BindFlag(..) ) +import Class ( Class, FunDep, pprFundeps, classTvsFds ) +import TcGadt ( tcUnifyTys, BindFlag(..) ) import Type ( substTys, notElemTvSubst ) import TcType ( Type, PredType(..), tcEqType, predTyUnique, mkClassPred, tyVarsOfTypes, tyVarsOfPred ) @@ -485,17 +485,4 @@ trimRoughMatchTcs clas_tvs (ltvs,_) mb_tcs \end{code} -%************************************************************************ -%* * -\subsection{Miscellaneous} -%* * -%************************************************************************ - -\begin{code} -pprFundeps :: Outputable a => [FunDep a] -> SDoc -pprFundeps [] = empty -pprFundeps fds = hsep (ptext SLIT("|") : punctuate comma (map ppr_fd fds)) - -ppr_fd (us, vs) = hsep [interppSP us, ptext SLIT("->"), interppSP vs] -\end{code}