summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T9569.hs
Commit message (Expand)AuthorAgeFilesLines
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-2/+2
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-0/+1
* Test Trac #9569Simon Peyton Jones2014-11-211-0/+25