aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3662.v
Commit message (Expand)AuthorAge
* Fix test-suite file.Gravatar Matthieu Sozeau2014-09-27
* Fix semantics of matching with folded/unfolded projections to definitelyGravatar Matthieu Sozeau2014-09-27
* Fix bug 3662 by actually reducing primitive projections in cbv/compute.Gravatar Matthieu Sozeau2014-09-27