Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use the eager unifier in the constraint solver | Simon Peyton Jones | 2023-05-12 | 1 | -2/+1 |
* | Fix tests | Bodigrim | 2023-03-30 | 4 | -0/+4 |
* | Refactor the treatment of loopy superclass dictswip/T20666 | Richard Eisenberg | 2023-01-11 | 1 | -1/+3 |
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 2 | -5/+5 |
* | Print constraints in quotes (#21167) | Swann Moreau | 2022-08-19 | 1 | -1/+1 |
* | Fix reporting constraints in pprTcSolverReportMsg | Krzysztof Gogolewski | 2022-03-07 | 1 | -1/+1 |
* | Use diagnostic infrastructure in GHC.Tc.Errors | sheaf | 2022-01-17 | 1 | -1/+1 |
* | Added a regression test, this would trigger a Core Lint error before GHC 9 | Baldur Blöndal | 2021-06-09 | 2 | -0/+39 |
* | Fix #19682 by breaking cycles in Deriveds | Richard Eisenberg | 2021-06-05 | 1 | -3/+6 |
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -2/+8 |
* | Implement Quick Look impredicativity | Simon Peyton Jones | 2020-09-24 | 24 | -0/+700 |