Replacement in matching can now be done by prov...
Replacement in matching can now be done by prov...

Replacement in matching can now be done by providing function arguments
for replacement. Fixes #2761. Review by phaller.


shimib/scala,martijnhoekstra/scala,felixmulder/scala,jvican/scala,felixmulder/scala,slothspot/scala,slothspot/scala,jvican/scala,slothspot/scala,martijnhoekstra/scala,slothspot/scala,felixmulder/scala,lrytz/scala,scala/scala,felixmulder/scala,scala/scala,felixmulder/scala,scala/scala,jvican/scala,felixmulder/scala,jvican/scala,lrytz/scala,scala/scala,shimib/scala,lrytz/scala,lrytz/scala,lrytz/scala,slothspot/scala,lrytz/scala,shimib/scala,scala/scala,jvican/scala,felixmulder/scala,shimib/scala,jvican/scala,martijnhoekstra/scala,scala/scala,slothspot/scala,shimib/scala,martijnhoekstra/scala,martijnhoekstra/scala,martijnhoekstra/scala,jvican/scala,shimib/scala,slothspot/scala