Use local instances with least superclass depth
See new Note [Use only the best local instance] in GHC.Tc.Solver.Interact. This commit also refactors the InstSC/OtherSC mechanism slightly. Close #20582.
Showing
- compiler/GHC/Tc/Errors.hs 5 additions, 5 deletionscompiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Solver/Canonical.hs 12 additions, 12 deletionscompiler/GHC/Tc/Solver/Canonical.hs
- compiler/GHC/Tc/Solver/InertSet.hs 1 addition, 1 deletioncompiler/GHC/Tc/Solver/InertSet.hs
- compiler/GHC/Tc/Solver/Interact.hs 101 additions, 37 deletionscompiler/GHC/Tc/Solver/Interact.hs
- compiler/GHC/Tc/TyCl/Instance.hs 3 additions, 3 deletionscompiler/GHC/Tc/TyCl/Instance.hs
- compiler/GHC/Tc/Types/Origin.hs 54 additions, 23 deletionscompiler/GHC/Tc/Types/Origin.hs
- compiler/GHC/Tc/Utils/TcMType.hs 4 additions, 1 deletioncompiler/GHC/Tc/Utils/TcMType.hs
- testsuite/tests/typecheck/should_compile/T20582.hs 6 additions, 0 deletionstestsuite/tests/typecheck/should_compile/T20582.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