Add a missing checkEscapingKind
Ticket #22743 pointed out that there is a missing check, for type-inferred bindings, that the inferred type doesn't have an escaping kind. The fix is easy.
Showing
- compiler/GHC/Core/Type.hs 1 addition, 1 deletioncompiler/GHC/Core/Type.hs
- compiler/GHC/Tc/Gen/Bind.hs 3 additions, 2 deletionscompiler/GHC/Tc/Gen/Bind.hs
- compiler/GHC/Tc/TyCl.hs 1 addition, 45 deletionscompiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/Validity.hs 51 additions, 1 deletioncompiler/GHC/Tc/Validity.hs
- testsuite/tests/polykinds/T22743.hs 10 additions, 0 deletionstestsuite/tests/polykinds/T22743.hs
- testsuite/tests/polykinds/T22743.stderr 7 additions, 0 deletionstestsuite/tests/polykinds/T22743.stderr
- testsuite/tests/polykinds/all.T 1 addition, 0 deletionstestsuite/tests/polykinds/all.T
Loading
Please register or sign in to comment