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