summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/T12709.stderr
Commit message (Expand)AuthorAgeFilesLines
* Be more careful about quantificationSimon Peyton Jones2023-03-221-2/+2
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-2/+5
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-34/+7
* Introduce ConcreteTv metavariablessheaf2022-03-021-4/+8
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-0/+36