summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T13506.hs
Commit message (Collapse)AuthorAgeFilesLines
* Don't report fundep wanted/wanted errorsSimon Peyton Jones2017-04-061-0/+26
This makes GHC drop derived FunDep errors when they are come from wanted/wanted interactions. Much along the lines of "don't rewrite wanteds with wanteds". See TcRnTypes Note [Dropping derived constraints] and the new code in isDroppableDerivedLoc. Fixes Trac #13506.