Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Testsuite: remove Windows CR [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -11/+11 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -11/+11 |
* | Tidy up tidySkolemInfo | Simon Peyton Jones | 2016-01-07 | 1 | -8/+9 |
* | Remove some horrible munging of origins for Coercible | Simon Peyton Jones | 2015-06-18 | 1 | -11/+7 |
* | Rewrite `Coercible` solver | Richard Eisenberg | 2014-12-12 | 1 | -8/+11 |
* | 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/+3 |
* | Update testsuite for nicer Coercible message | Joachim Breitner | 2013-12-02 | 1 | -15/+7 |
* | Coercible-base GND: update error messages | Joachim Breitner | 2013-11-22 | 1 | -6/+15 |
* | Update tests to reflect new check for GeneralizedNewtypeDeriving | Richard Eisenberg | 2013-10-23 | 1 | -1/+2 |
* | 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 |