Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Test #6147, which was fixed with the roles commit. | Richard Eisenberg | 2014-02-09 | 1 | -0/+11 |