summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T14618.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-7/+3
* Fix #14618 by applying a subst in deeplyInstantiateRichard Eisenberg2017-12-261-0/+23