Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -4/+1 |
* | 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/+6 |
* | Missing stderr for T12531. | Edward Z. Yang | 2016-08-30 | 1 | -0/+9 |