Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -10/+6 |
* | Add built-in syntax suggestions, and refactor to allow library use | Matthías Páll Gissurarson | 2018-11-01 | 1 | -0/+2 |
* | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -33/+11 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -15/+5 |
* | Sort valid substitutions for typed holes by "relevance" | Matthías Páll Gissurarson | 2018-01-26 | 1 | -2/+2 |
* | Inform hole substitutions of typeclass constraints (fixes #14273). | Matthías Páll Gissurarson | 2018-01-18 | 1 | -1/+7 |
* | Also show types that subsume a hole as valid substitutions for that hole. | Matthías Páll Gissurarson | 2017-09-21 | 1 | -0/+41 |
* | Ensure that insolubles are fully rewritten | Simon Peyton Jones | 2017-05-19 | 1 | -2/+2 |
* | Show constraints when reporting typed holes | Maciej Bielecki | 2016-12-15 | 1 | -0/+61 |