summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T8883.hs
Commit message (Expand)AuthorAgeFilesLines
* Validate inferred theta. Fixes #8883Jan Stolarek2014-04-191-0/+20