summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12373.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-1/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-1/+1
* Implement BoxedRep proposalAndrew Martin2020-12-141-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-4/+4
* Track visibility in TypeEqOriginRichard Eisenberg2017-07-271-0/+3
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-0/+8