[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:
5212fc99 by Richard Eisenberg at 2022-12-16T17:10:48-05:00
Drop support for kind constraints.

This implements 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/Utils/Unify.hs-boot
- 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/polykinds/T16902.stderr
- testsuite/tests/polykinds/T18522-ppr.script
- testsuite/tests/polykinds/T18522-ppr.stdout
- testsuite/tests/saks/should_compile/all.T
- − testsuite/tests/saks/should_compile/saks007.hs
- − testsuite/tests/saks/should_fail/T16758.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5212fc9974d84cc7150d772dbc5d61bb2a4e2acb

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5212fc9974d84cc7150d772dbc5d61bb2a4e2acb
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/20221216/98683d4e/attachment-0001.html>