commit | 223bb04090344b1972dc2a7910a54b46210f0d40 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Wed Jul 31 11:41:59 2019 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Wed Jul 31 11:41:59 2019 -0300 |
tree | 4346fc4bfb9b32a6502a61f97f01f225ee4f7830 | |
parent | fe040633a1d64af4c19acc4707adb47413a3cd4a [diff] |
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.)