Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 1 | -3/+3 |
* | Make implication tidying agree with Note [Tidying multiple names at once] | Matthew Pickering | 2022-02-05 | 1 | -6/+6 |
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -9/+9 |
* | Visible kind application | mynguyen | 2019-01-03 | 1 | -12/+18 |
* | Fix nasty bug in the type free-var finder, at last | Simon Peyton Jones | 2018-10-26 | 1 | -1/+1 |
* | Improve type-error reporting | Simon Peyton Jones | 2017-09-25 | 1 | -0/+24 |