summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/InertSet.hs
Commit message (Expand)AuthorAgeFilesLines
* Make inert_cycle_breakers into a stack.Richard Eisenberg2022-03-021-12/+67
* Kill derived constraintsRichard Eisenberg2022-02-231-104/+79
* Use local instances with least superclass depthRichard Eisenberg2021-11-121-1/+1
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-1/+5
* Use Reductions to keep track of rewritingssheaf2021-08-041-3/+3
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-5/+24
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-0/+1633