Print more info about kinds in error messages
This fixes #24553, where GHC unhelpfully said error: [GHC-83865] • Expected kind ‘* -> * -> *’, but ‘Foo’ has kind ‘* -> * -> *’ See Note [Showing invisible bits of types in error messages]
Showing
- compiler/GHC/Core/Map/Type.hs 1 addition, 1 deletioncompiler/GHC/Core/Map/Type.hs
- compiler/GHC/Core/TyCo/Compare.hs 107 additions, 48 deletionscompiler/GHC/Core/TyCo/Compare.hs
- compiler/GHC/Core/TyCo/Ppr.hs 8 additions, 7 deletionscompiler/GHC/Core/TyCo/Ppr.hs
- compiler/GHC/Core/Unify.hs 1 addition, 1 deletioncompiler/GHC/Core/Unify.hs
- compiler/GHC/Iface/Type.hs 1 addition, 1 deletioncompiler/GHC/Iface/Type.hs
- compiler/GHC/Tc/Errors.hs 3 additions, 46 deletionscompiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Errors/Ppr.hs 71 additions, 15 deletionscompiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs 1 addition, 2 deletionscompiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Solver/Equality.hs 1 addition, 1 deletioncompiler/GHC/Tc/Solver/Equality.hs
- compiler/GHC/Tc/Utils/TcType.hs 3 additions, 2 deletionscompiler/GHC/Tc/Utils/TcType.hs
- testsuite/tests/typecheck/should_fail/T24553.hs 8 additions, 0 deletionstestsuite/tests/typecheck/should_fail/T24553.hs
- testsuite/tests/typecheck/should_fail/T24553.stderr 6 additions, 0 deletionstestsuite/tests/typecheck/should_fail/T24553.stderr
- testsuite/tests/typecheck/should_fail/all.T 2 additions, 0 deletionstestsuite/tests/typecheck/should_fail/all.T
Loading
Please register or sign in to comment