summaryrefslogtreecommitdiff
path: root/testsuite/tests/impredicative
Commit message (Expand)AuthorAgeFilesLines
* Fix reporting constraints in pprTcSolverReportMsgKrzysztof Gogolewski2022-03-071-1/+1
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Added a regression test, this would trigger a Core Lint error before GHC 9Baldur Blöndal2021-06-092-0/+39
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-3/+6
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-2/+8
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-2424-0/+700