Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Type vs Constraint: finally nailed | Simon Peyton Jones | 2022-11-11 | 1 | -1/+1 |
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 1 | -3/+3 |
* | Fix #13819 by refactoring TypeEqOrigin.uo_thing | Richard Eisenberg | 2017-07-27 | 1 | -7/+4 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -10/+17 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -10/+10 |
* | Tidy up the printing of single-predicate contexts | Simon Peyton Jones | 2014-06-20 | 1 | -10/+10 |
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -6/+6 |
* | Wibbles to error messages following fixing Trac #7696 and #7697 | Simon Peyton Jones | 2013-03-03 | 1 | -11/+10 |
* | Update outputs following the unicode quote change in GHC's output | Ian Lynagh | 2013-02-24 | 1 | -7/+7 |
* | Improve test | Simon Peyton Jones | 2013-01-30 | 1 | -0/+5 |
* | Test Trac #7609 | Simon Peyton Jones | 2013-01-30 | 1 | -0/+6 |