* lib.c (simple_lazy_stream_func): Bugfix: close the stream

if get_line returns nil.

* stream.c (cat_get_line, cat_get_char, cat_get_byte): The catenated
stream read operations close an exhausted stream before popping
to the next one.

* txr.1: Document closing behavior of catenated streams.

1 files changed, 4 insertions, 5 deletions

diff --git a/txr.1 b/txr.1
index 318dc5ae..af4e55fe 100644
--- a/txr.1
+++ b/txr.1
@@ -22342,11 +22342,10 @@ or
 .code get-line
 operation on the head stream yields
 .codn nil ,
-and there are more lists in the stream, then the stream is removed from the
-list, and the next stream, if any, becomes the head list. The operation is then
-tried again.  If any of these operations fail on the last list, it is not
-removed from the list, so that a stream remains in place which can take
-the
+and there are more lists in the stream, then the stream is closed, removed from
+the list, and the next stream, if any, becomes the head list. The operation is
+then tried again.  If any of these operations fail on the last list, it is not
+removed from the list, so that a stream remains in place which can take the
 .code unget-char
 or
 .code unget-byte