[Git][ghc/ghc][wip/p547] Drop support for kind constraints.

[Richard Eisenberg (@rae)]

Richard Eisenberg pushed to branch wip/p547 at Glasgow Haskell Compiler / GHC


Commits:
1591f26b by Richard Eisenberg at 2022-12-02T17:03:35-05:00
Drop support for kind constraints.

This implements GHC proposal 547 and closes ticket #22298.

See the proposal and ticket for motivation.

- - - - -


30 changed files:

- compiler/GHC/Core/DataCon.hs
- compiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Core/TyCon.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/CoreToIface.hs
- compiler/GHC/Iface/Type.hs
- compiler/GHC/Rename/HsType.hs
- compiler/GHC/Rename/Module.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Solver/Rewrite.hs
- compiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/Utils/Instantiate.hs
- compiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Validity.hs
- compiler/GHC/Types/Var.hs
- docs/users_guide/exts/data_kinds.rst
- testsuite/tests/dependent/should_compile/all.T
- testsuite/tests/dependent/should_fail/T13780a.stderr
- testsuite/tests/dependent/should_compile/T14845_compile.hs → testsuite/tests/dependent/should_fail/T14845_compile.hs
- + testsuite/tests/dependent/should_fail/T14845_compile.stderr
- testsuite/tests/dependent/should_fail/all.T
- testsuite/tests/saks/should_compile/all.T
- testsuite/tests/saks/should_fail/all.T
- testsuite/tests/saks/should_compile/saks007.hs → testsuite/tests/saks/should_fail/saks007.hs
- + testsuite/tests/saks/should_fail/saks007.stderr
- testsuite/tests/saks/should_fail/saks007_fail.stderr
- testsuite/tests/typecheck/should_compile/all.T
- + testsuite/tests/typecheck/should_fail/T12102.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1591f26bad5afb4f1f6c1a9acfd56806025eb3a9

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1591f26bad5afb4f1f6c1a9acfd56806025eb3a9
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/20221202/0b4faf74/attachment.html>