summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
Commit message (Expand)AuthorAgeFilesLines
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1510-16/+34
* Better error reporting for inaccessible codeSimon Peyton Jones2018-08-243-0/+24
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-144-8/+12
* Turn "inaccessible code" error into a warningTobias Dammers2018-06-025-27/+23
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-4/+4
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-182-0/+21
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-3/+1
* Wombling around in Trac #14808Simon Peyton Jones2018-03-051-0/+6
* Rename the types in a GADT constructor in toposorted orderRyan Scott2018-02-182-0/+13
* Fix #14719 by using the setting the right SrcSpanRyan Scott2018-01-263-0/+27
* typecheck: Clarify errors mentioned in #14385Ben Gamari2017-10-253-3/+3
* Fix #14320 by looking through HsParTy in more placesRyan Scott2017-10-072-0/+16
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-1/+1
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+12
* Suggest how to fix illegally nested foralls in GADT constructor type signaturesRyan Scott2017-08-173-1/+55
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-3/+3
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-1/+1
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-262-10/+2
* Ensure that insolubles are fully rewrittenSimon Peyton Jones2017-05-193-0/+16
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-8/+8
* 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
* Spelling fixes in comments [ci skip]Gabor Greif2017-01-181-1/+1
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-241-3/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-213-22/+22
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-2016-206/+205
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-204-83/+83
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-152-37/+37
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-136-120/+120
* Testsuite: benign test fixesThomas Miedema2016-04-282-1/+6
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-262-15/+15
* Make equality print better. (#11712)Richard Eisenberg2016-03-211-1/+1
* Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)Herbert Valerio Riedel2016-02-271-1/+1
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-271-12/+12
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-251-0/+0
* (Alternative way to) address #8710George Karachalias2016-02-251-12/+12
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-231-5/+5
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-238-83/+83
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-2314-650/+650
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* Allow foralls in instance declsSimon Peyton Jones2016-02-081-5/+5
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-273-23/+23
* Visible type applicationRichard Eisenberg2015-12-245-10/+18
* Add kind equalities to GHC.Richard Eisenberg2015-12-115-55/+55
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-032-1/+4
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-013-40/+44
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-246-15/+15
* A few typos in commentsGabor Greif2015-10-051-1/+1
* Testsuite: by default run all tests for a single wayThomas Miedema2015-09-021-1/+1
View Lorry Controller Status