summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-7/+7
* Kill derived constraintsRichard Eisenberg2022-02-231-17/+11
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+2
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-3/+9
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-1/+1
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-1/+1
* Make equality print better. (#11712)Richard Eisenberg2016-03-211-1/+1
* Visible type applicationRichard Eisenberg2015-12-241-0/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-1/+2
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-25/+26
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-5/+5
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-1/+1
* Testsuite error message changesSimon Peyton Jones2014-11-041-0/+27