Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update output: More elaborate GND error messages | Joachim Breitner | 2013-12-04 | 1 | -1/+2 |
* | Wibbles to output caused by change in checking role annotations | Richard Eisenberg | 2013-12-02 | 3 | -12/+5 |
* | Update testsuite for nicer Coercible message | Joachim Breitner | 2013-12-02 | 1 | -7/+6 |
* | Coercible-base GND: update error messages | Joachim Breitner | 2013-11-22 | 1 | -5/+8 |
* | Update tests to reflect new check for GeneralizedNewtypeDeriving | Richard Eisenberg | 2013-10-23 | 3 | -15/+1 |
* | Error wibbles now that we print roles in :info | Simon Peyton Jones | 2013-10-08 | 1 | -11/+3 |
* | Error messsage wibblification | Simon Peyton Jones | 2013-10-04 | 1 | -10/+10 |
* | Update to tests due to change in syntax for role annotations. | Richard Eisenberg | 2013-09-17 | 19 | -0/+176 |