summaryrefslogtreecommitdiff
path: root/testsuite/tests/impredicative
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-2/+1
* Fix testsBodigrim2023-03-304-0/+4
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-1/+3
* Diagnostic codes: acccept test changessheaf2022-09-132-5/+5
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-1/+1
* 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