aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3563.v
Commit message (Collapse)AuthorAge
* Fix test-suite files, and move some opened to closed.Gravatar Matthieu Sozeau2014-09-11
|
* Fix bug #3563, making syntactic matching of primitive projectionsGravatar Matthieu Sozeau2014-09-04
and their eta-expanded forms succeed, potentially filling parameter metavariables from the type information of the projected object.