From 39dca31567349eb77b2d11a037dd09aae5a0630d Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Fri, 8 Jun 2007 04:44:00 +0000 Subject: [PATCH] Fix deriving of indexed data types - Fix typo introduced when moving deriving-specific code from TcEnv to TcDeriv - Thanks to Roman for the bug report --- compiler/typecheck/TcDeriv.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4