[Git][ghc/ghc][wip/sand-witch/#16635-improve-errors] Capture scoped kind variables at type-checking phase (#16635)

[Andrei Borzenkov (@sand-witch)]

Andrei Borzenkov pushed to branch wip/sand-witch/#16635-improve-errors at Glasgow Haskell Compiler / GHC


Commits:
1f515a72 by Andrei Borzenkov at 2023-06-09T13:07:51+04:00
Capture scoped kind variables at type-checking phase (#16635)

Like descibed in new Note [Type variable scoping errors during type check] in
GHC.Tc.Types, I made ScopedTypeVariables work on type level like in
term level.

For now that only means, that the error about kind variables scoped
into type are rejected at the elaboration time, because we can't
generalize the type by adding type-level lambda - we simply have no one.

- - - - -


30 changed files:

- compiler/GHC/Hs/Type.hs
- compiler/GHC/Rename/HsType.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Errors/Types/PromotionErr.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Types/BasicTypes.hs
- compiler/GHC/Tc/Utils/Env.hs
- compiler/GHC/Types/Error/Codes.hs
- testsuite/tests/dependent/should_fail/PromotedClass.stderr
- testsuite/tests/dependent/should_fail/SelfDep.stderr
- testsuite/tests/dependent/should_fail/T13780a.stderr
- testsuite/tests/dependent/should_fail/T13780c.stderr
- testsuite/tests/dependent/should_fail/T14845_compile.stderr
- testsuite/tests/dependent/should_fail/T14845_fail1.stderr
- testsuite/tests/dependent/should_fail/T14845_fail2.stderr
- testsuite/tests/dependent/should_fail/T15215.stderr
- testsuite/tests/dependent/should_fail/T15245.stderr
- testsuite/tests/patsyn/should_fail/T11265.stderr
- testsuite/tests/patsyn/should_fail/T9161-1.stderr
- testsuite/tests/patsyn/should_fail/T9161-2.stderr
- testsuite/tests/polykinds/PolyKinds06.stderr
- testsuite/tests/polykinds/PolyKinds07.stderr
- testsuite/tests/polykinds/T13625.stderr
- testsuite/tests/polykinds/T15116.stderr
- testsuite/tests/polykinds/T15116a.stderr
- testsuite/tests/polykinds/T5716.stderr
- testsuite/tests/polykinds/T5716a.stderr
- testsuite/tests/polykinds/T6129.stderr
- testsuite/tests/polykinds/T7433.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1f515a72b27be99e389af627c43c4541468c1534

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1f515a72b27be99e389af627c43c4541468c1534
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230609/e415cab7/attachment.html>