summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7368a.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* 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/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-10/+10
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-1/+1
* Do not discard insoluble Derived constraintsSimon Peyton Jones2014-09-261-11/+12
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-3/+3
* Error message wibbles, following TcErrors refactoringSimon Peyton Jones2013-04-221-10/+11
* Wibbles to error outputSimon Peyton Jones2013-04-031-10/+10
* Wibbles to error messages following fixing Trac #7696 and #7697Simon Peyton Jones2013-03-031-10/+10
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-10/+10
* Test Trac #7368 (second example)Simon Peyton Jones2012-12-201-0/+10