summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run/KindInvariant.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Re-export GHC.Types from GHC.Extssheaf2021-12-071-2/+1
* Increase type sharingBen Gamari2021-11-171-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+2
* Update levity polymorphismRichard Eisenberg2017-01-191-1/+1
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-1/+2
* Add tests for #11465 and the kind invariantBen Gamari2016-01-221-0/+5