Commit 07f524cf authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix egregious blunder in extractRelevantInerts

parent de4090bc
......@@ -871,13 +871,11 @@ extractRelevantInerts wi
let (cts,dict_map) = getRelevantCts cl (inert_dicts ics)
in (cts, ics { inert_dicts = dict_map })
extract_ics_relevants ct ics@(IC { inert_funeqs = funeq_map })
| Just (tc,tys) <- isCFunEqCan_maybe ct
, let fam_head = mkTyConApp tc tys
extract_ics_relevants (CFunEqCan { cc_fun = tc, cc_tyargs = tys })
ics@(IC { inert_funeqs = funeq_map })
| let fam_head = mkTyConApp tc tys
, Just ct <- lookupFamHead funeq_map fam_head
= (singleCt ct, ics { inert_funeqs = delFamHead funeq_map fam_head })
| otherwise
= (emptyCts, ics)
extract_ics_relevants (CHoleCan {}) ics
= pprPanic "extractRelevantInerts" (ppr wi)
......
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