summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T8428.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-3/+4
* Fix impredicativity (again)Simon Peyton Jones2016-09-301-1/+4
* Visible type applicationRichard Eisenberg2015-12-241-9/+7
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-2/+2
* Test #8428Krzysztof Gogolewski2013-10-091-0/+10