Commit 39dca315 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

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
parent b132a9d5
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment