summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7809.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-1/+1
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-031-3/+3
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-231-6/+6
* Allow foralls in instance declsSimon Peyton Jones2016-02-081-3/+4
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-5/+5
* Improve error reporting for impredicative typesSimon Peyton Jones2015-04-221-2/+2
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-1/+1
* Adjust test suite to new Language Pragma warnignsJoachim Breitner2013-09-141-1/+1
* Test Trac #7809Simon Peyton Jones2013-05-301-0/+5