Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make inert_cycle_breakers into a stack. | Richard Eisenberg | 2022-03-02 | 1 | -12/+67 |
* | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -104/+79 |
* | Use local instances with least superclass depth | Richard Eisenberg | 2021-11-12 | 1 | -1/+1 |
* | Improve redundant-constraints warning | Richard Eisenberg | 2021-11-12 | 1 | -1/+1 |
* | Introduce Concrete# for representation polymorphism checks | sheaf | 2021-10-17 | 1 | -1/+5 |
* | Use Reductions to keep track of rewritings | sheaf | 2021-08-04 | 1 | -3/+3 |
* | Fix #19682 by breaking cycles in Deriveds | Richard Eisenberg | 2021-06-05 | 1 | -5/+24 |
* | Rip GHC.Tc.Solver.Monad asunder (only) | Richard Eisenberg | 2021-05-29 | 1 | -0/+1633 |