summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T15629.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Deprecate TypeInType extensionHaskellMouse2022-06-061-3/+3
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-6/+6
* Remove flattening variablesRichard Eisenberg2020-12-011-7/+16
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-6/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-31/+11
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-5/+5
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-5/+5
* Allow (unparenthesized) kind signaturesAlec Theriault2018-10-041-2/+2
* Add regression test for Trac #15629Simon Peyton Jones2018-09-131-0/+39