[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:
be43743d by Andrei Borzenkov at 2023-06-14T21:50:09+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/be43743dc054dde320ffca2c3faf6dc018e2edaa

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/be43743dc054dde320ffca2c3faf6dc018e2edaa
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/20230614/a5bb0f09/attachment.html>