Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -1/+1 |
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -2/+2 |
* | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -3/+7 |
* | Testsuite: remove Windows CR again.. [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -11/+11 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -11/+11 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -7/+9 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -1/+1 |
* | Modify a couple of error messages slightly | Simon Peyton Jones | 2015-01-06 | 1 | -9/+9 |
* | Testsuite error message changes | Simon Peyton Jones | 2014-11-04 | 1 | -13/+9 |
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -5/+5 |
* | Test Trac #8450 | Simon Peyton Jones | 2013-11-06 | 1 | -0/+13 |