summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/BadTelescope4.stderr
Commit message (Expand)AuthorAgeFilesLines
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-6/+7
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-2/+2
* 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