[Git][ghc/ghc][wip/T23070-dicts] Add the SolverStage monad

[Simon Peyton Jones (@simonpj)]

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


Commits:
b235552b by Simon Peyton Jones at 2023-05-14T00:27:38+01:00
Add the SolverStage monad

This refactoring makes a substantial improvement in the
structure of GHC.Tc.Solver.Equality.

I also added the new types  (akin to EqCt).
  IrredCt
  DictCt

New module
   GHC.Tc.Solver.Solve

Killed off:
   GHC.Tc.Solver.Canonical
   GHC.Tc.Solver.Interact

Better commit message to come

- - - - -


21 changed files:

- compiler/GHC/Builtin/Types/Prim.hs
- compiler/GHC/Core.hs
- compiler/GHC/Core/InstEnv.hs
- compiler/GHC/Core/Predicate.hs
- compiler/GHC/Core/TyCo/Compare.hs
- compiler/GHC/Core/TyCon.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/Core/Unify.hs
- compiler/GHC/HsToCore/Binds.hs
- compiler/GHC/Tc/Deriv/Generate.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Gen/App.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Gen/Pat.hs
- compiler/GHC/Tc/Gen/Rule.hs
- compiler/GHC/Tc/Instance/Class.hs
- compiler/GHC/Tc/Instance/Typeable.hs
- compiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Dict.hs
- compiler/GHC/Tc/Solver/Equality.hs


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b235552bb0385292102c6fd9212dcf86d5caf53f
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/20230513/ce6b36cd/attachment.html>