Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -258/+0 |
* | base: Introduce Data.Monoid.Ap | chessai | 2018-05-27 | 1 | -2/+2 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -22/+8 |
* | Sort valid substitutions for typed holes by "relevance" | Matthías Páll Gissurarson | 2018-01-26 | 1 | -41/+41 |
* | Inform hole substitutions of typeclass constraints (fixes #14273). | Matthías Páll Gissurarson | 2018-01-18 | 1 | -20/+217 |
* | Also show types that subsume a hole as valid substitutions for that hole. | Matthías Páll Gissurarson | 2017-09-21 | 1 | -1/+39 |
* | Show valid substitutions for typed holes | Matthías Páll Gissurarson | 2017-03-29 | 1 | -0/+37 |