summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T10194.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improve error reporting for impredicative typesSimon Peyton Jones2015-04-221-2/+2
* Look inside synonyms for foralls when unifyingSimon Peyton Jones2015-04-071-0/+7