summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T9612.hs
Commit message (Collapse)AuthorAgeFilesLines
* Improve error messages from functional dependenciesSimon Peyton Jones2014-09-261-0/+20
Reponding to Trac #9612: * Track the CtOrigin of a Derived equality, arising from a functional dependency * And report it clearly in the error stream This relies on a previous commit, in which I stop dropping Derived insolubles on the floor.