* eval.c (eval_init): register get-lines as having one optional

argument.

* lib.c (lazy_stream_cons): Default the argument to std_input.

* txr.1: Document that the stream is optional in get-lines.

1 files changed, 8 insertions, 2 deletions

diff --git a/txr.1 b/txr.1
index 6cff30e4..8c654150 100644
--- a/txr.1
+++ b/txr.1
@@ -15034,14 +15034,20 @@ another lazy cons (as in the example under
 .coNP Functions @ lazy-stream-cons and @ get-lines
 .synb
 .mets (lazy-stream-cons << stream )
-.mets (get-lines << stream )
+.mets (get-lines <> [ stream ])
 .syne
 .desc
 The
 .code lazy-stream-cons
 and
 .code get-lines
-functions are synonyms. Thus, the following
+functions are synonyms, except that the
+.meta stream
+argument is optional in
+.code get-lines
+and defaults to
+.codn *stdin* .
+Thus, the following
 description of
 .code lazy-stream-cons
 also applies to