summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/all.T
Commit message (Expand)AuthorAgeFilesLines
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-1/+0
* Add test for T22793Simon Peyton Jones2023-03-041-0/+1
* Fix #22742Simon Peyton Jones2023-01-231-0/+1
* Add a missing checkEscapingKindSimon Peyton Jones2023-01-131-0/+1
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-0/+2
* Testsuite: more precise test optionsSylvain Henry2022-10-261-1/+1
* testsuite: Use normalise_version more consistentlyBen Gamari2022-06-271-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-1/+0
* Fix newtype eta-reductionSimon Peyton Jones2021-05-071-0/+4
* Fix an levity-polymorphism errorSimon Peyton Jones2021-03-201-0/+1
* Zonk the returned kind in tcFamTyPatsSimon Peyton Jones2021-01-301-0/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-0/+1
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-0/+3
* Reject dodgy scoping in associated family instance RHSesRyan Scott2020-12-171-1/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-0/+4
* Fix two constraint solving problemsSimon Peyton Jones2020-10-271-0/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-0/+1
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-191-1/+1
* Fix visible forall in ppr_ty (#18522)Vladislav Zavialov2020-08-061-0/+1
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-241-0/+3
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-0/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Add regression tests for #16244, #16245, #16758Ryan Scott2020-05-051-0/+2
* Add regression test for #17963Ryan Scott2020-03-311-0/+1
* Wrap an implication around class-sig kind errorsSimon Peyton Jones2020-03-141-0/+1
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-2/+2
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-0/+1
* testsuite: Set -dinitial-unique when reversing uniquesBen Gamari2019-07-181-1/+1
* Fix over-eager implication constraint discardSimon Peyton Jones2019-07-041-0/+2
* Add a missing zonk (fixes #16902)Simon Peyton Jones2019-07-041-0/+1
* Test Trac #16263Simon Peyton Jones2019-03-061-0/+1
* Add tests for Trac #16221 and #16342Simon Peyton Jones2019-03-061-0/+3
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-0/+1
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+0
* testsuite: Use makefile_testBen Gamari2019-01-301-7/+7
* Revert "Batch merge"Ben Gamari2019-01-301-7/+7
* Batch mergeBen Gamari2019-01-301-7/+7
* Make candidateQTvs contain tyvar with zonked kindsSimon Peyton Jones2018-12-211-0/+3
* Tests Trac #14847Simon Peyton Jones2018-12-061-0/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-0/+7
* Add second test case for #15592Ryan Scott2018-10-301-0/+1
* Fix #15787 by squashing a coercion hole.Richard Eisenberg2018-10-281-0/+1
* Distinguish Inferred from Specified tyvarsSimon Peyton Jones2018-10-041-0/+1
* canCFunEqCan: use isTcReflexiveCo (not isTcReflCo)Simon Peyton Jones2018-09-031-0/+1
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-3/+3
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-2/+2
* Quantify unfixed kind variables in CUSKsRichard Eisenberg2018-06-151-2/+2
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-3/+2
* Expand type synonyms when Linting a forallSimon Peyton Jones2018-06-041-0/+1
* Add regression test for #14172Ryan Scott2018-05-261-0/+1
View Lorry Controller Status