-
- Downloads
Fix non-termination bug in equality solver
constraint left-to-right then right to left, forever. Easily fixed. (cherry picked from commit 21b76843)
parent
c4d1edb1
Branches
Tags
Showing
- compiler/GHC/Tc/Solver/Equality.hs 10 additions, 4 deletionscompiler/GHC/Tc/Solver/Equality.hs
- testsuite/tests/indexed-types/should_compile/T24134.hs 54 additions, 0 deletionstestsuite/tests/indexed-types/should_compile/T24134.hs
- testsuite/tests/indexed-types/should_compile/all.T 1 addition, 0 deletionstestsuite/tests/indexed-types/should_compile/all.T
Loading
Please register or sign in to comment