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.