summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T14066.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-5/+5
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-1/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-4/+6
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-1/+1
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-2/+4
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-0/+11