summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/all.T
Commit message (Expand)AuthorAgeFilesLines
* More fixes for `type data` declarationsSimon Peyton Jones2023-03-031-0/+2
* Improve treatment of type applications in patternswip/T19847Simon Peyton Jones2023-02-011-0/+3
* Broaden the in-scope sets for liftEnvSubst and composeTCvSubstRyan Scott2022-10-261-0/+1
* User's guide: newtype decls can use GADTSyntaxsheaf2022-01-021-0/+1
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-231-0/+2
* Desugarer: Bring existentials in scope when substituting into record GADTsRyan Scott2021-08-251-0/+1
* Driver Rework PatchMatthew Pickering2021-06-031-1/+1
* Arrows: correctly query arrow methods (#17423)Sylvain Henry2020-12-111-1/+0
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-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
View Lorry Controller Status