X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FInstEnv.lhs;h=f4559e726a6d5a3d74523a192d5cacefd666ccf3;hb=9de0c2321236931f51d81a9e2b56edb06e34639c;hp=7aaf6ddbb711972dcfc4938720532dd4f9e69154;hpb=c76c69c5b62f1ca4fa52d75b0dfbd37b7eddbb09;p=ghc-hetmet.git

diff --git a/compiler/types/InstEnv.lhs b/compiler/types/InstEnv.lhs
index 7aaf6dd..f4559e7 100644
--- a/compiler/types/InstEnv.lhs
+++ b/compiler/types/InstEnv.lhs
@@ -475,9 +475,9 @@ lookupInstEnv (pkg_ie, home_ie) cls tys
       = find ms us rest
 
       | otherwise
-      = ASSERT2( not (tyVarsOfTypes tys `intersectsVarSet` tpl_tvs),
-		       (ppr cls <+> ppr tys <+> ppr all_tvs) $$
-		       (ppr dfun <+> ppr tpl_tvs <+> ppr tpl_tys)
+      = ASSERT2( tyVarsOfTypes tys `disjointVarSet` tpl_tvs,
+		 (ppr cls <+> ppr tys <+> ppr all_tvs) $$
+		 (ppr dfun <+> ppr tpl_tvs <+> ppr tpl_tys)
 		)
 		-- Unification will break badly if the variables overlap
 		-- They shouldn't because we allocate separate uniques for them