Reinstate untouchable variable error messages
This extra bit of information was accidentally being discarded after a refactoring of the way we reported problems when unifying a type variable with another type. This patch rectifies that.
Showing
- compiler/GHC/Tc/Errors/Ppr.hs 12 additions, 9 deletionscompiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs 0 additions, 8 deletionscompiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Types/Error/Codes.hs 1 addition, 1 deletioncompiler/GHC/Types/Error/Codes.hs
- testsuite/tests/ado/T16135.stderr 5 additions, 0 deletionstestsuite/tests/ado/T16135.stderr
- testsuite/tests/indexed-types/should_compile/Simple14.stderr 9 additions, 4 deletionstestsuite/tests/indexed-types/should_compile/Simple14.stderr
- testsuite/tests/typecheck/should_fail/T21338.stderr 12 additions, 4 deletionstestsuite/tests/typecheck/should_fail/T21338.stderr
Loading
Please register or sign in to comment