Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Unify result type earlier to improve error messages | Simon Peyton Jones | 2021-03-01 | 1 | -12/+11 |
* | Use a newtype `Code` for the return type of typed quotations (Proposal #195) | Matthew Pickering | 2020-07-21 | 1 | -3/+3 |
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -3/+4 |
* | Explicit Specificity | Gert-Jan Bottu | 2020-05-21 | 1 | -3/+3 |
* | Improve documentation around empty tuples/lists | Richard Eisenberg | 2019-10-03 | 1 | -7/+4 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -28/+31 |
* | Reject top-level typed TH splices. Fixes #10945 | Jan Stolarek | 2015-10-20 | 1 | -0/+29 |