Commit 168c8831 authored by Simon Peyton Jones's avatar Simon Peyton Jones

A little outright bug in canEqTyVar2

I had 'ev' where I should have had 'new_ev'.  It's quite hard to make
this bug cause a failure, but I did eventually get a Lint error
somewhere.  Anyway, it's just a typo, I think.
parent b61562fe
......@@ -948,7 +948,7 @@ canEqTyVar2 dflags ev eq_rel swapped tv1 xi2
= rewriteEqEvidence ev eq_rel swapped xi1 xi2 co1 co2
`andWhenContinue` \ new_ev ->
case eq_rel of
NomEq -> do { emitInsoluble (mkNonCanonical ev)
NomEq -> do { emitInsoluble (mkNonCanonical new_ev)
-- If we have a ~ [a], it is not canonical, and in particular
-- we don't want to rewrite existing inerts with it, otherwise
-- we'd risk divergence in the constraint solver
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