summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Dict.hs
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-18/+94
* Look both ways when looking for quantified equalitiesSimon Peyton Jones2023-05-111-36/+11
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-0/+859