Skip to content

Fix non-termination bug in equality solver

Simon Peyton Jones requested to merge wip/T24134 into master

Fix #24134 (closed). It turned out to be a swap/swap-back loop in the equality solver.

Merge request reports