Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -3/+1 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -3/+1 |
* | Improve type-error reporting | Simon Peyton Jones | 2017-09-25 | 1 | -4/+1 |
* | 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: remove Windows CR [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -14/+14 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -14/+14 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -8/+8 |
* | GHCi should not defer typed holes | Thomas Miedema | 2015-11-29 | 1 | -16/+14 |
* | Fix off-by-one error in GHCi line reporting (Trac #10578) | Ömer Sinan Ağacan | 2015-07-17 | 1 | -2/+2 |
* | Error message wibbles from out-of-scope changes | Simon Peyton Jones | 2015-06-26 | 1 | -2/+2 |
* | Refactor the GlobalRdrEnv, fixing #7672 | Simon Peyton Jones | 2015-06-02 | 1 | -18/+16 |
* | Test Trac #10248 | Simon Peyton Jones | 2015-05-18 | 1 | -0/+18 |
* | Revert multiple commits | Austin Seipp | 2015-05-14 | 1 | -18/+0 |
* | Test Trac #10248 | Simon Peyton Jones | 2015-05-13 | 1 | -0/+18 |