summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/BadTelescope4.stderr
Commit message (Expand)AuthorAgeFilesLines
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-3/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-0/+15