[Git][ghc/ghc][wip/T18126] Lots more small changes

[Simon Peyton Jones]

Simon Peyton Jones pushed to branch wip/T18126 at Glasgow Haskell Compiler / GHC


Commits:
05df195d by Simon Peyton Jones at 2020-07-11T00:12:53+01:00
Lots more small changes

In particular, a substantial refactoring of constraint generation
during kind inference, in TyCl and HsType. Needs a proper Note.

This is WIP, needs better documentation etc.

But we are down to a handful of error-message regressions.

- - - - -


30 changed files:

- compiler/GHC/Core/TyCon.hs
- compiler/GHC/Hs/Expr.hs
- compiler/GHC/Hs/Pat.hs
- compiler/GHC/Hs/Type.hs
- compiler/GHC/HsToCore/Expr.hs
- compiler/GHC/Rename/Pat.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Errors/Hole.hs
- compiler/GHC/Tc/Gen/App.hs
- compiler/GHC/Tc/Gen/Default.hs
- compiler/GHC/Tc/Gen/Expr.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Gen/Sig.hs
- compiler/GHC/Tc/Gen/Splice.hs
- compiler/GHC/Tc/Module.hs
- compiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/TyCl/Instance.hs
- compiler/GHC/Tc/Types/Evidence.hs
- compiler/GHC/Tc/Utils/TcMType.hs
- compiler/GHC/Tc/Validity.hs
- compiler/GHC/Types/Var.hs
- testsuite/tests/dependent/should_fail/RAE_T32a.stderr
- testsuite/tests/dependent/should_fail/T11407.stderr
- testsuite/tests/dependent/should_fail/T13780a.stderr
- testsuite/tests/dependent/should_fail/T15859.hs
- testsuite/tests/dependent/should_fail/T15859.stderr
- + testsuite/tests/dependent/should_fail/T15859a.hs
- + testsuite/tests/dependent/should_fail/T15859a.stderr
- testsuite/tests/dependent/should_fail/T16344a.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/05df195d9c818ddda655de7d60f15ff23a82f755

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/05df195d9c818ddda655de7d60f15ff23a82f755
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/20200710/48ecf2a3/attachment.html>