summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/all.T
Commit message (Expand)AuthorAgeFilesLines
* Fix kind inference for data types. Again.wip/T18891Simon Peyton Jones2020-12-041-0/+1
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-1/+2
* Remove prefix arrow support for GADTs (#17211)Krzysztof Gogolewski2019-11-251-1/+0
* testsuite: Add test for #17423Ben Gamari2019-11-011-0/+1
* Report better suggestion for GADT data constructorSimon Peyton Jones2019-03-151-0/+1
* testsuite: Use makefile_testBen Gamari2019-01-301-3/+3
* Revert "Batch merge"Ben Gamari2019-01-301-3/+3
* Batch mergeBen Gamari2019-01-301-3/+3
* Better error reporting for inaccessible codeSimon Peyton Jones2018-08-241-0/+1
* Turn "inaccessible code" error into a warningTobias Dammers2018-06-021-1/+1
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-0/+1
* Rename the types in a GADT constructor in toposorted orderRyan Scott2018-02-181-0/+1
* Fix #14719 by using the setting the right SrcSpanRyan Scott2018-01-261-0/+1
* Fix #14320 by looking through HsParTy in more placesRyan Scott2017-10-071-0/+1
* Suggest how to fix illegally nested foralls in GADT constructor type signaturesRyan Scott2017-08-171-1/+2
* Ensure that insolubles are fully rewrittenSimon Peyton Jones2017-05-191-0/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-2/+2
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-16/+4
* Testsuite: by default run all tests for a single wayThomas Miedema2015-09-021-1/+1
* Testsuite: mark tests recently fixed as passing + accept new stderrThomas Miedema2015-07-301-1/+1
* Testsuite: mark gadt/termination expect_broken_for(#10658, ['optasm','optllvm'])Thomas Miedema2015-07-181-1/+1
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-2/+0
* Testsuite: change some expect_fail tests to expect_brokenThomas Miedema2015-06-111-0/+2
* Testsuite: delete expect_fail setups for ghc < 7.1Thomas Miedema2015-06-091-4/+4
* Mark type-rep not as expect_broken when debuggedJoachim Breitner2014-08-061-1/+1
* Test Trac #9380Simon Peyton Jones2014-07-311-0/+1
* In splitHsFunType, take account of prefix (->)Simon Peyton Jones2014-05-121-0/+1
* 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
View Lorry Controller Status