Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Do eager instantation in terms | Simon Peyton Jones | 2020-04-22 | 1 | -1/+1 |
* | Improve error messages for skolems | Simon Peyton Jones | 2017-03-10 | 1 | -2/+2 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -14/+14 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -12/+14 |
* | Print singleton consraints without parens | Simon Peyton Jones | 2015-01-06 | 1 | -12/+12 |
* | Modify a couple of error messages slightly | Simon Peyton Jones | 2015-01-06 | 1 | -12/+12 |
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -3/+3 |
* | Update outputs following the unicode quote change in GHC's output | Ian Lynagh | 2013-02-24 | 1 | -3/+3 |
* | Modified error output and new tests for PolyKinds commit | Simon Peyton Jones | 2012-03-02 | 1 | -1/+1 |
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 1 | -0/+12 |