[Git][ghc/ghc][wip/T23070-unify] 2 commits: First steps killing unifyWanted

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T23070-unify at Glasgow Haskell Compiler / GHC


Commits:
9150e329 by Simon Peyton Jones at 2023-04-28T16:47:36+01:00
First steps killing unifyWanted

- - - - -
ef4ea3e5 by Simon Peyton Jones at 2023-04-28T17:55:21+01:00
Wibbles

- - - - -


30 changed files:

- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/Predicate.hs
- compiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Core/TyCo/Subst.hs
- compiler/GHC/HsToCore.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Gen/Rule.hs
- compiler/GHC/Tc/Plugin.hs
- compiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Canonical.hs
- compiler/GHC/Tc/Solver/Dict.hs
- compiler/GHC/Tc/Solver/Equality.hs
- compiler/GHC/Tc/Solver/InertSet.hs
- compiler/GHC/Tc/Solver/Interact.hs
- compiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Tc/Solver/Rewrite.hs
- compiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Types/Origin.hs
- compiler/GHC/Tc/Utils/Concrete.hs
- compiler/GHC/Tc/Utils/TcMType.hs
- compiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Utils/Unify.hs
- compiler/GHC/Tc/Utils/Unify.hs-boot
- testsuite/tests/dependent/should_fail/T11471.hs
- testsuite/tests/dependent/should_fail/T11471.stderr
- testsuite/tests/impredicative/icfp20-fail.stderr
- testsuite/tests/indexed-types/should_fail/T4179.stderr
- testsuite/tests/indexed-types/should_fail/T4254b.hs
- − testsuite/tests/indexed-types/should_fail/T4254b.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/670a77b4302cd6c63ef24ffae29f30e3e49b2425...ef4ea3e560c86a38c1236b0e4a6220ab0ddbac5e

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/670a77b4302cd6c63ef24ffae29f30e3e49b2425...ef4ea3e560c86a38c1236b0e4a6220ab0ddbac5e
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/20230428/e8140b42/attachment.html>