summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T15438.stderr
Commit message (Collapse)AuthorAgeFilesLines
* Set GenSigCtxt for the argument part of tcSubTypeSimon Peyton Jones2018-07-251-0/+11
The reason for this change is described in TcUnify Note [Settting the argument context], and Trac #15438. The only effect is on error messages, where it stops GHC reporting an outright falsity (about the type signature for a function) when it finds an errors in a higher-rank situation. The testsuite changes in this patch illustrate the problem.