Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 1 | -1/+1 |
* | Use mutable update to defer out-of-scope errors | Richard Eisenberg | 2020-12-25 | 1 | -4/+4 |
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -2/+1 |
* | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -3/+0 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -3/+1 |
* | Sort valid substitutions for typed holes by "relevance" | Matthías Páll Gissurarson | 2018-01-26 | 1 | -1/+2 |
* | Also show types that subsume a hole as valid substitutions for that hole. | Matthías Páll Gissurarson | 2017-09-21 | 1 | -0/+5 |
* | testsuite: Add test for #10249 | Ben Gamari | 2016-12-08 | 1 | -0/+8 |