| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Generalize breakTyVarCycle to work with TyFamLHS | Richard Eisenberg | 2022-05-26 | 1 | -2/+2 |
| * | Fix unification of ConcreteTvs, removing IsRefl# | sheaf | 2022-04-28 | 1 | -4/+1 |
| * | Add Red Herring to Note [What might equal later?] | Richard Eisenberg | 2022-03-28 | 1 | -0/+129 |
| * | 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 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |