Skip to content

Look both ways when looking for quantified equalities

Simon Peyton Jones requested to merge wip/T23333 into master

When looking up (t1 ~# t2) in the quantified constraints, check both orientations. Forgetting this led to #23333.

Merge request reports