summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7368.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-1/+1
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-1/+5
* Visible type applicationRichard Eisenberg2015-12-241-0/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-8/+4
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-1/+1
* Do not discard insoluble Derived constraintsSimon Peyton Jones2014-09-261-1/+2
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-1/+1
* Wibbles to error messages, following the fix for Trac #7851Simon Peyton Jones2013-04-291-11/+9
* Error message wibbles, following TcErrors refactoringSimon Peyton Jones2013-04-221-13/+6
* Wibbles to error messages following fixing Trac #7696 and #7697Simon Peyton Jones2013-03-031-20/+18
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-7/+7
* Test Trac #7368Simon Peyton Jones2012-10-261-0/+20