summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T14172.stderr
Commit message (Expand)AuthorAgeFilesLines
* Kill derived constraintsRichard Eisenberg2022-02-231-3/+5
* Use GHC2021 as default languageJoachim Breitner2021-03-101-5/+5
* Remove flattening variablesRichard Eisenberg2020-12-011-5/+3
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-0/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-6/+4
* Preserve ShadowInfo when rewriting evidenceSimon Peyton Jones2019-06-071-4/+4
* Fix #16188Richard Eisenberg2019-02-121-15/+0
* Visible kind applicationmynguyen2019-01-031-2/+3
* Add regression test for #14172Ryan Scott2018-05-261-0/+40