summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/BadTelescope2.stderr
Commit message (Expand)AuthorAgeFilesLines
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-8/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-0/+16