Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |