diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-03-04 08:24:46 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-03-22 09:50:13 +0000 |
| commit | e0b8eaf3fc3d2ebbdcc86610b889930dbe5b4cdb (patch) | |
| tree | 4f4c65db923be03b3cce67b2cc3f7fffe7131424 /compiler/GHC/Tc/Gen/HsType.hs | |
| parent | ad765b6f0bb23576fb4e7690a29fa07fc1dfff11 (diff) | |
| download | haskell-e0b8eaf3fc3d2ebbdcc86610b889930dbe5b4cdb.tar.gz | |
Refactor the constraint solver pipelinewip/T23070
The big change is to put the entire type-equality solver into
GHC.Tc.Solver.Equality, rather than scattering it over Canonical
and Interact. Other changes
* EqCt becomes its own data type, a bit like QCInst. This is
great because EqualCtList is then just [EqCt]
* New module GHC.Tc.Solver.Dict has come of the class-contraint
solver. In due course it will be all. One step at a time.
This MR is intended to have zero change in behaviour: it is a
pure refactor. It opens the way to subsequent tidying up, we
believe.
Diffstat (limited to 'compiler/GHC/Tc/Gen/HsType.hs')
0 files changed, 0 insertions, 0 deletions