Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove the type-checking knot. | Richard Eisenberg | 2018-08-01 | 1 | -3/+3 |
* | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -26/+32 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -12/+4 |
* | Sort valid substitutions for typed holes by "relevance" | Matthías Páll Gissurarson | 2018-01-26 | 1 | -4/+4 |
* | Inform hole substitutions of typeclass constraints (fixes #14273). | Matthías Páll Gissurarson | 2018-01-18 | 1 | -0/+5 |
* | Also show types that subsume a hole as valid substitutions for that hole. | Matthías Páll Gissurarson | 2017-09-21 | 1 | -0/+35 |
* | Testsuite: remove Windows CR [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -46/+46 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -46/+46 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -34/+34 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -6/+6 |
* | Add typed holes support in Template Haskell. | Jan Stolarek | 2015-10-16 | 1 | -0/+46 |