Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | -4/+4 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -3/+1 |
* | Also show types that subsume a hole as valid substitutions for that hole. | Matthías Páll Gissurarson | 2017-09-21 | 1 | -0/+12 |
* | Ensure that insolubles are fully rewritten | Simon Peyton Jones | 2017-05-19 | 1 | -0/+6 |