Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 1 | -1/+1 |
* | Rework the handling of SkolemInfo | Matthew Pickering | 2022-01-29 | 1 | -1/+1 |
* | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 1 | -2/+2 |
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -0/+3 |
* | Wrap an implication around class-sig kind errors | Simon Peyton Jones | 2020-03-14 | 1 | -1/+1 |
* | Add a missing zonk (fixes #16902) | Simon Peyton Jones | 2019-07-04 | 1 | -0/+6 |