summaryrefslogtreecommitdiff
path: root/tests/filter.urs
Commit message (Collapse)AuthorAge
* Fix type class resolution infinite loop, discovered while meeting with EzraGravatar Adam Chlipala2009-08-06