summaryrefslogtreecommitdiff
path: root/tests/tcrec.ur
Commit message (Collapse)AuthorAge
* Improved unification of record literals in type class resolutionGravatar Adam Chlipala2011-10-15