Commit 1e5de096 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

Remove EqInsts from addSCs to avoid -DDEBUG warnings

parent 4ba96c06
......@@ -2464,7 +2464,8 @@ addSCs is_loop avails dict
where
(clas, tys) = getDictClassTys dict
(tyvars, sc_theta, sc_sels, _) = classBigSig clas
sc_theta' = substTheta (zipTopTvSubst tyvars tys) sc_theta
sc_theta' = filter (not . isEqPred) $
substTheta (zipTopTvSubst tyvars tys) sc_theta
add_sc avails (sc_dict, sc_sel)
| is_loop (dictPred sc_dict) = return avails -- See Note [SUPERCLASS-LOOP 2]
......
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