Update the unification count in wrapUnifierX
Omitting this caused type inference to fail in #24146. This was an accidental omision in my refactoring of the equality solver.
Showing
- compiler/GHC/Tc/Solver/Monad.hs 25 additions, 15 deletionscompiler/GHC/Tc/Solver/Monad.hs
- testsuite/tests/typecheck/should_compile/T24146.hs 18 additions, 0 deletionstestsuite/tests/typecheck/should_compile/T24146.hs
- testsuite/tests/typecheck/should_compile/all.T 1 addition, 0 deletionstestsuite/tests/typecheck/should_compile/all.T
Loading
Please register or sign in to comment