diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/manual.of | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/manual/manual.of b/manual/manual.of index 8eebe9cb..c1ee8eb7 100644 --- a/manual/manual.of +++ b/manual/manual.of | |||
@@ -7926,8 +7926,8 @@ instead of returning an error code. | |||
7926 | Opens the given file name in read mode | 7926 | Opens the given file name in read mode |
7927 | and returns an iterator function that | 7927 | and returns an iterator function that |
7928 | works like @T{file:lines(@Cdots)} over the opened file. | 7928 | works like @T{file:lines(@Cdots)} over the opened file. |
7929 | When the iterator function detects the end of file, | 7929 | When the iterator function fails to read any value, |
7930 | it returns no values (to finish the loop) and automatically closes the file. | 7930 | it automatically closes the file. |
7931 | Besides the iterator function, | 7931 | Besides the iterator function, |
7932 | @id{io.lines} returns three other values: | 7932 | @id{io.lines} returns three other values: |
7933 | two @nil values as placeholders, | 7933 | two @nil values as placeholders, |
@@ -7941,7 +7941,8 @@ to @T{io.input():lines("l")}; | |||
7941 | that is, it iterates over the lines of the default input file. | 7941 | that is, it iterates over the lines of the default input file. |
7942 | In this case, the iterator does not close the file when the loop ends. | 7942 | In this case, the iterator does not close the file when the loop ends. |
7943 | 7943 | ||
7944 | In case of errors this function raises the error, | 7944 | In case of errors opening the file, |
7945 | this function raises the error, | ||
7945 | instead of returning an error code. | 7946 | instead of returning an error code. |
7946 | 7947 | ||
7947 | } | 7948 | } |
@@ -8053,9 +8054,6 @@ starting at the current position. | |||
8053 | Unlike @Lid{io.lines}, this function does not close the file | 8054 | Unlike @Lid{io.lines}, this function does not close the file |
8054 | when the loop ends. | 8055 | when the loop ends. |
8055 | 8056 | ||
8056 | In case of errors this function raises the error, | ||
8057 | instead of returning an error code. | ||
8058 | |||
8059 | } | 8057 | } |
8060 | 8058 | ||
8061 | @LibEntry{file:read (@Cdots)| | 8059 | @LibEntry{file:read (@Cdots)| |