| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -29/+7 |
| * | Simplify treatment of heterogeneous equality | Richard Eisenberg | 2020-03-20 | 1 | -23/+27 |
| * | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 1 | -3/+3 |
| * | Treat kind/type variables identically, demolish FKTV | Vladislav Zavialov | 2019-02-27 | 1 | -6/+6 |
| * | Taming the Kind Inference Monster | Simon Peyton Jones | 2018-11-29 | 1 | -15/+21 |
| * | Finish fix for #14880. | Tobias Dammers | 2018-10-28 | 1 | -9/+9 |
| * | Remove decideKindGeneralisationPlan | Richard Eisenberg | 2018-08-02 | 1 | -7/+8 |
| * | Unwrap casts before checking vars in eager unifier | Richard Eisenberg | 2018-07-10 | 1 | -9/+16 |
| * | Orient TyVar/TyVar equalities with deepest on the left | Simon Peyton Jones | 2018-05-18 | 1 | -38/+13 |
| * | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -0/+25 |
| * | Fix performance of flattener patch (#12919) | Alexander Vieth | 2018-03-26 | 1 | -5/+2 |
| * | Fix a nasty bug in the pure unifier | Simon Peyton Jones | 2018-02-27 | 1 | -0/+43 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |