summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/all.T
Commit message (Expand)AuthorAgeFilesLines
* 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
* Make dischargeFmv handle DerivedsSimon Peyton Jones2018-05-211-0/+1
* Simplify the kind checking for type/class declsSimon Peyton Jones2018-05-081-0/+2
* Fix #14710 with more validity checks during renamingRyan Scott2018-04-191-0/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-3/+3
* Respect Note [The tcType invariant]Simon Peyton Jones2018-03-051-0/+1
* Fix a nasty bug in the pure unifierSimon Peyton Jones2018-02-271-0/+1
* Prioritise equalities when solving, incl derivedsSimon Peyton Jones2018-01-311-0/+1
* Fix tcDataKindSigSimon Peyton Jones2017-12-151-0/+1
* Add test for Trac #14580Simon Peyton Jones2017-12-141-0/+1
* Further improvements to well-kinded typesSimon Peyton Jones2017-12-131-1/+1
* Detect levity-polymorphic uses of unsafeCoerce#Simon Peyton Jones2017-12-131-0/+1
* Fix SigTvs at the kind levelSimon Peyton Jones2017-12-111-1/+5
* Build only well-kinded types in type checkerSimon Peyton Jones2017-12-111-0/+3
* Fix a TyVar bug in the flattenerSimon Peyton Jones2017-11-141-0/+1
* Avoid creating dependent types in FloatOutSimon Peyton Jones2017-10-111-0/+1
* Add regression test for #9725Ryan Scott2017-10-031-0/+1
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-281-0/+2
* Improve type-error reportingSimon Peyton Jones2017-09-251-0/+1
* Add regression test for #14209Ryan Scott2017-09-131-0/+1
* Implicitly bind kind variables in type family instance RHSes when it's sensibleRyan Scott2017-09-051-1/+2
* Refactor bindHsQTyVars and friendsSimon Peyton Jones2017-08-291-0/+2
* Test Trac #14110Simon Peyton Jones2017-08-181-0/+1
* Fix scoping of data cons during kind checkingSimon Peyton Jones2017-05-191-0/+1
* Add regression test for Trac #13659Simon Peyton Jones2017-05-091-0/+1
* Add regression test for #11616Ryan Scott2017-05-041-0/+1
* Document the kind generalization behavior observed in #13555Ryan Scott2017-04-231-0/+1
View Lorry Controller Status