tree 4346fc4bfb9b32a6502a61f97f01f225ee4f7830
parent fe040633a1d64af4c19acc4707adb47413a3cd4a
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1564584119 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1564584119 -0300

Correction in the documentation of 'io.lines'

The loop does not end on end of file, but when the iterator function
fails to read a value. (In particular, the format "a" never fails,
so a loop with 'io.lines(fname, "a")' never ends.)