Include "not more specific" info in overlap msg
When instances overlap, we now include additional information about why we weren't able to select an instance: perhaps one instance overlapped another but was not strictly more specific, so we aren't able to directly choose it. Fixes #20542
Showing
- compiler/GHC/Builtin/Names.hs 1 addition, 1 deletioncompiler/GHC/Builtin/Names.hs
- compiler/GHC/Tc/Errors.hs 151 additions, 45 deletionscompiler/GHC/Tc/Errors.hs
- testsuite/tests/ado/T13242a.stderr 3 additions, 4 deletionstestsuite/tests/ado/T13242a.stderr
- testsuite/tests/annotations/should_fail/annfail10.stderr 6 additions, 9 deletionstestsuite/tests/annotations/should_fail/annfail10.stderr
- testsuite/tests/ghci.debugger/scripts/break006.stderr 6 additions, 8 deletionstestsuite/tests/ghci.debugger/scripts/break006.stderr
- testsuite/tests/ghci.debugger/scripts/print019.stderr 3 additions, 4 deletionstestsuite/tests/ghci.debugger/scripts/print019.stderr
- testsuite/tests/ghci/scripts/T10963.stderr 3 additions, 4 deletionstestsuite/tests/ghci/scripts/T10963.stderr
- testsuite/tests/ghci/scripts/T15325.stderr 2 additions, 3 deletionstestsuite/tests/ghci/scripts/T15325.stderr
- testsuite/tests/indexed-types/should_fail/T12522a.stderr 3 additions, 4 deletionstestsuite/tests/indexed-types/should_fail/T12522a.stderr
- testsuite/tests/indexed-types/should_fail/T20466.stderr 11 additions, 9 deletionstestsuite/tests/indexed-types/should_fail/T20466.stderr
- testsuite/tests/indexed-types/should_fail/T4485.stderr 3 additions, 2 deletionstestsuite/tests/indexed-types/should_fail/T4485.stderr
- testsuite/tests/overloadedlists/should_fail/overloadedlistsfail01.stderr 7 additions, 9 deletions.../overloadedlists/should_fail/overloadedlistsfail01.stderr
- testsuite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr 3 additions, 4 deletions...ite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr
- testsuite/tests/parser/should_fail/RecordDotSyntaxFail8.stderr 3 additions, 4 deletions...uite/tests/parser/should_fail/RecordDotSyntaxFail8.stderr
- testsuite/tests/partial-sigs/should_fail/T10999.stderr 3 additions, 4 deletionstestsuite/tests/partial-sigs/should_fail/T10999.stderr
- testsuite/tests/polykinds/T13393.stderr 3 additions, 4 deletionstestsuite/tests/polykinds/T13393.stderr
- testsuite/tests/quotes/TH_localname.stderr 1 addition, 1 deletiontestsuite/tests/quotes/TH_localname.stderr
- testsuite/tests/rebindable/rebindable6.stderr 3 additions, 3 deletionstestsuite/tests/rebindable/rebindable6.stderr
- testsuite/tests/typecheck/should_compile/T14273.stderr 6 additions, 8 deletionstestsuite/tests/typecheck/should_compile/T14273.stderr
- testsuite/tests/typecheck/should_compile/holes2.stderr 3 additions, 4 deletionstestsuite/tests/typecheck/should_compile/holes2.stderr
Loading
Please register or sign in to comment