X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcDeriv.lhs;h=6934eb1d2f463259d45d209f86388b95c2b5f554;hb=ab241c5d6187a93acffc609bdbffdae30ff9b284;hp=4e1a0657972813ff97933a8eb3d0c018c48ae7eb;hpb=4899cc823373bd016a49cdb0dffd0e22150ec07e;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs
index 4e1a065..6934eb1 100644
--- a/compiler/typecheck/TcDeriv.lhs
+++ b/compiler/typecheck/TcDeriv.lhs
@@ -426,7 +426,7 @@ tcLookupFamInstExact tycon tys
   = do { result@(rep_tycon, rep_tys) <- tcLookupFamInst tycon tys
        ; let { tvs		      = map (Type.getTyVar 
                                                "TcDeriv.tcLookupFamInstExact") 
-					    tys
+					    rep_tys
 	     ; variable_only_subst = all Type.isTyVarTy rep_tys &&
 				     sizeVarSet (mkVarSet tvs) == length tvs
 					-- renaming may have no repetitions