Don't report redundant Givens from quantified constraints
This fixes #23323 See (RC4) in Note [Tracking redundant constraints]
Showing
- compiler/GHC/Tc/Errors.hs 14 additions, 3 deletionscompiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Solver.hs 34 additions, 19 deletionscompiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Solve.hs 1 addition, 2 deletionscompiler/GHC/Tc/Solver/Solve.hs
- compiler/GHC/Tc/Types/Constraint.hs 1 addition, 0 deletionscompiler/GHC/Tc/Types/Constraint.hs
- testsuite/tests/quantified-constraints/T23323.hs 17 additions, 0 deletionstestsuite/tests/quantified-constraints/T23323.hs
- testsuite/tests/quantified-constraints/all.T 1 addition, 0 deletionstestsuite/tests/quantified-constraints/all.T
Loading
Please register or sign in to comment