summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T8616.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-8/+6
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-12/+3
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-5/+5
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-0/+9
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-4/+10
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-6/+8
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-2/+2
* Test Trac #8616Simon Peyton Jones2014-01-131-0/+7