summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/RepPolyInferPatSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-0/+22