Commit cd51b9ca authored by Simon Peyton Jones's avatar Simon Peyton Jones

In lookupFlatEqn, look in the flat-cache *last*

The other places (solved fun-eqs and inerts) are
more productive.
parent 82879d95
......@@ -876,8 +876,8 @@ lookupFlatEqn fam_ty
, inert_flat_cache = flat_cache
, inert_cans = IC { inert_funeqs = inert_funeqs } } <- getTcSInerts
; return (lookupFamHead solved_funeqs fam_ty `firstJust`
lookupFamHead flat_cache fam_ty `firstJust`
lookup_in_inerts inert_funeqs) }
lookup_in_inerts inert_funeqs `firstJust`
lookupFamHead flat_cache fam_ty) }
where
lookup_in_inerts inert_funeqs
= case lookupFamHead inert_funeqs fam_ty of
......
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