On 07/07/2015 at 16:58:09 +0000, Bart Massey wrote: > +1 for the Farkas-Dyck patch. Someone should check the performance of the > replacement filterM, though: those loops may have been there for a reason > that is still valid. What loops? It was and is a fold.