summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7696.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-2/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-2/+2
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-9/+5
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-1/+1
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-7/+11
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-2/+2
* Error message wibbles, following TcErrors refactoringSimon Peyton Jones2013-04-221-17/+7
* Test Trac #7696, #7697Simon Peyton Jones2013-03-031-0/+17