Commit 0ba74f6f authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Use mkTcEqPred rather than mkEqPred

This was mostly done in an earlier commit, but I missed these two
parent 09dc9a8e
......@@ -1833,7 +1833,7 @@ rewriteEqEvidence :: CtEvidence -- Old evidence :: olhs ~ orhs (not swap
-- It's all a form of rewwriteEvidence, specialised for equalities
rewriteEqEvidence old_ev swapped nlhs nrhs lhs_co rhs_co
| CtDerived { ctev_loc = loc } <- old_ev
= newDerived loc (mkEqPred nlhs nrhs)
= newDerived loc (mkTcEqPred nlhs nrhs)
| NotSwapped <- swapped
, isTcReflCo lhs_co -- See Note [Rewriting with Refl]
......@@ -1860,7 +1860,7 @@ rewriteEqEvidence old_ev swapped nlhs nrhs lhs_co rhs_co
| otherwise
= panic "rewriteEvidence"
where
new_pred = mkEqPred nlhs nrhs
new_pred = mkTcEqPred nlhs nrhs
maybeSym :: SwapFlag -> TcCoercion -> TcCoercion
maybeSym IsSwapped co = mkTcSymCo co
......
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