summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T14904a.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-2/+2
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-4/+4
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-4/+4
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-0/+2
* Use GHC2021 as default languageJoachim Breitner2021-03-101-2/+2
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-3/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-0/+2
* Quantify unfixed kind variables in CUSKsRichard Eisenberg2018-06-151-9/+0
* Fix #13777 by improving the underdetermined CUSK error messageRyan Scott2018-06-021-0/+1
* Simplify the kind checking for type/class declsSimon Peyton Jones2018-05-081-0/+5
* Add regression tests for #14904Ryan Scott2018-05-031-0/+8