summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/gadt13.hs
Commit message (Collapse)AuthorAgeFilesLines
* Adapt to being a bit more picky about inference with GADTsSimon Peyton Jones2012-10-191-0/+3
| | | | | This means adding a few type signature, and some tests failing (as they should) rather than succeeding
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-201-0/+14