summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T7524.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-2/+2
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Remove the type-checking knot.Richard Eisenberg2018-08-011-1/+1
* Further improvements to well-kinded typesSimon Peyton Jones2017-12-131-1/+1
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-1/+1
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-6/+6
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-2/+3
* Error message wibbles,unknown2013-10-011-5/+5
* Test Trac #7524Simon Peyton Jones2013-01-281-0/+5