On 31-May-2015 20:50, Dmitry Olshansky wrote:
[snip]

When window.length == 0 means that stream is exhausted.
Processing moves window by calling skip and along extending it's size.

Should read ... by calling skip and extending it's size as needed for lookahead.


--
Dmitry Olshansky

Reply via email to