summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T7558.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+5
* Turn "inaccessible code" error into a warningTobias Dammers2018-06-021-7/+6
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-1/+1
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-261-5/+1
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-201-15/+15
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-15/+15
* Make equality print better. (#11712)Richard Eisenberg2016-03-211-1/+1
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-231-15/+15
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-3/+5
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-13/+13
* Use correct precedence when printing contexts with class operatorsSimon Peyton Jones2014-10-071-1/+1
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-4/+4
* Test Trac #7558Simon Peyton Jones2013-06-201-0/+13