Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Testsuite: tabs -> spaces [skip ci] | Thomas Miedema | 2016-06-20 | 3 | -37/+37 |
| | |||||
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -2/+2 |
| | | | | | | | | | | | | | This re-working of the typechecker algorithm is based on the paper "Visible type application", by Richard Eisenberg, Stephanie Weirich, and Hamidhasan Ahmed, to be published at ESOP'16. This patch introduces -XTypeApplications, which allows users to say, for example `id @Int`, which has type `Int -> Int`. See the changes to the user manual for details. This patch addresses tickets #10619, #5296, #10589. | ||||
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 13 | -0/+349 |