summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Equality.hs
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-212/+276
* Look both ways when looking for quantified equalitiesSimon Peyton Jones2023-05-111-12/+55
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-402/+462
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-0/+2964