summaryrefslogtreecommitdiff
path: root/testsuite/tests/boxy
Commit message (Collapse)AuthorAgeFilesLines
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-203-37/+37
|
* Visible type applicationRichard Eisenberg2015-12-241-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 Terei2011-07-2013-0/+349