Make TYPE and CONSTRAINT not-apart
Issue #24279 showed up a bug in the logic in GHC.Core.Unify.unify_ty which is supposed to make TYPE and CONSTRAINT be not-apart. Easily fixed.
Showing
- compiler/GHC/Core/Unify.hs 5 additions, 2 deletionscompiler/GHC/Core/Unify.hs
- testsuite/tests/typecheck/should_fail/T24279.hs 31 additions, 0 deletionstestsuite/tests/typecheck/should_fail/T24279.hs
- testsuite/tests/typecheck/should_fail/T24279.stderr 19 additions, 0 deletionstestsuite/tests/typecheck/should_fail/T24279.stderr
- testsuite/tests/typecheck/should_fail/all.T 1 addition, 0 deletionstestsuite/tests/typecheck/should_fail/all.T
Loading
Please register or sign in to comment