summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12803.hs
Commit message (Collapse)AuthorAgeFilesLines
* Take account of injectivity when doing fundepsSimon Peyton Jones2016-11-041-0/+10
This fixes Trac #12803. Yikes! See Note [Care with type functions].