Skip to content

Update the unification count in wrapUnifierX

Simon Peyton Jones requested to merge wip/T14146 into master

Omitting this update caused type inference to fail in #24146 (closed).

This was an accidental omission in my refactoring of the equality solver.

Merge request reports