summaryrefslogtreecommitdiff
path: root/testsuite/tests/impredicative/icfp20-fail.stderr
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-2/+1
* Diagnostic codes: acccept test changessheaf2022-09-131-4/+4
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-3/+6
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-0/+42