import VarSet
import VarEnv
import TcType ( TvSubstEnv )
-import Unify ( matchTyX, MatchEnv(..) )
+import Unify ( tcMatchTyX, MatchEnv(..) )
import BasicTypes ( Activation, CompilerPhase, isActive )
import Outputable
\begin{code}
------------------------------------------
match_ty menv (tv_subst, id_subst) ty1 ty2
- = do { tv_subst' <- Unify.matchTyX menv tv_subst ty1 ty2
+ = do { tv_subst' <- Unify.tcMatchTyX menv tv_subst ty1 ty2
; return (tv_subst', id_subst) }
\end{code}