summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/InertSet.hs
Commit message (Expand)AuthorAgeFilesLines
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-16/+19
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-76/+76
* Narrow the dont-decompose-newtype testSimon Peyton Jones2023-02-161-4/+17
* Introduce warning for loopy superclass solvesheaf2023-02-141-4/+11
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-6/+11
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-251-17/+14
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-3/+3
* matchLocalInst: do domination analysissheaf2022-09-281-6/+11
* Fix typosEric Lindblad2022-09-141-2/+2
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-261-2/+2
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-4/+1
* Add Red Herring to Note [What might equal later?]Richard Eisenberg2022-03-281-0/+129
* 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
View Lorry Controller Status