summaryrefslogtreecommitdiff
path: root/testsuite/tests/impredicative/Dict.hs
Commit message (Expand)AuthorAgeFilesLines
* Added a regression test, this would trigger a Core Lint error before GHC 9Baldur Blöndal2021-06-091-0/+38