Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 1 | -5/+5 |
* | Remove some horrible munging of origins for Coercible | Simon Peyton Jones | 2015-06-18 | 1 | -4/+3 |
* | Rewrite `Coercible` solver | Richard Eisenberg | 2014-12-12 | 1 | -8/+4 |
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -5/+5 |
* | Update output: More elaborate GND error messages | Joachim Breitner | 2013-12-04 | 1 | -1/+2 |
* | Update testsuite for nicer Coercible message | Joachim Breitner | 2013-12-02 | 1 | -5/+6 |
* | Coercible-base GND: update error messages | Joachim Breitner | 2013-11-22 | 1 | -5/+7 |
* | Update tests to reflect new check for GeneralizedNewtypeDeriving | Richard Eisenberg | 2013-10-23 | 1 | -1/+1 |
* | Wibble to output from change in roles error messages | Richard Eisenberg | 2013-08-27 | 1 | -1/+1 |
* | Add tests for roles. | Richard Eisenberg | 2013-08-02 | 1 | -0/+7 |