summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/RepPolyInferPatSyn.stderr
Commit message (Expand)AuthorAgeFilesLines
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-151-1/+1
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-0/+2
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-0/+10