summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/all.T
Commit message (Expand)AuthorAgeFilesLines
* type-rep is only broken when debugging is onJoachim Breitner2014-01-161-1/+1
* Mark type-rep as broken until #5869 is fixedJoachim Breitner2013-12-021-1/+1
* gadt6 is fine now, even with DEBUGSimon Peyton Jones2013-11-221-1/+1
* Mark tests as expect_broken when borken with -DDEBUGJoachim Breitner2013-11-221-1/+1
* Add tests for roles.Richard Eisenberg2013-08-021-1/+1
* Test Trac #7558Simon Peyton Jones2013-06-201-0/+1
* Test Trac #7974Simon Peyton Jones2013-06-101-0/+1
* More helper conversionsIan Lynagh2013-02-111-6/+6
* Convert more helper functionsIan Lynagh2013-02-111-4/+4
* Adapt to being a bit more picky about inference with GADTsSimon Peyton Jones2012-10-191-3/+3
* Test Trac #7321Simon Peyton Jones2012-10-121-0/+4
* Test Trac #7294Simon Peyton Jones2012-10-051-0/+1
* Test Trac #7293Simon Peyton Jones2012-10-051-0/+1
* Test Trac #7205Simon Peyton Jones2012-10-021-1/+2
* We now have left/right coercions again, so T1999a passesSimon Peyton Jones2012-10-021-1/+1
* Testcases for floating equalities ouf of implicationsDimitrios.Vytiniotis2012-06-081-0/+2
* Fix some more written-but-not-cleaned filesIan Lynagh2011-09-061-1/+4
* Test Trac #5424Simon Peyton Jones2011-09-021-1/+1
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-201-0/+110