ocaml-batteries-team/batteries-included — pull request #545 by nbraud (2014-03-06 00:52:13+00:00)
Title: BatSeq: Fix specification of `filter`

The previous specification for `filter` (and other functions) was nonsensical as it considered elements of a sequence that “occur” after an infinite number of other elements.

For instance, it could have lead one to understand that `filter (fun x -> x == 0)` should terminate on the sequence `1 1 1 1 ...`.