Adding flatcar* function.

* eval.c (eval_init): Registered flatcar* intrinsic.

* lib.c (lazy_flatcar_scan, lazy_flatcar_func):
New static functions.
(lazy_flatcar): New function.

* lib.h (lazy_flatcar): Declared.

* txr.1: Documented, also touching flatten documentation.

1 files changed, 13 insertions, 9 deletions

diff --git a/txr.1 b/txr.1
index 1083ec39..937432a3 100644
--- a/txr.1
+++ b/txr.1
@@ -14735,19 +14735,14 @@ function produces a list whose elements are all of the
 .cod2 non- nil
 atoms contained in the structure of
 .metn list .
+
 The
 .code flatten*
 function
 works like
 .code flatten
-except that
-.code flatten
-creates and returns a complete
-flattened list, whereas
-.code flatten*
-produces a lazy list which is
-instantiated on demand. This is particularly useful when the input
-structure is itself lazy.
+except that it produces a lazy list. It can be used to lazily flatten an
+infinite lazy structure.
 
 .TP* Examples:
 .cblk
@@ -14762,9 +14757,10 @@ structure is itself lazy.
   (flatten '(((()) ()))) -> nil
 .cble
 
-.coNP Function @ flatcar
+.coNP Functions @ flatcar and @ flatcar*
 .synb
 .mets (flatcar << tree )
+.mets (flatcar* << tree )
 .syne
 .desc
 The
@@ -14787,6 +14783,14 @@ atoms which appear in
 .code cdr
 fields.
 
+The
+.code flatcar*
+function
+works like
+.code flatcar
+except that it produces a lazy list. It can be used to lazily flatten an
+infinite lazy structure.
+
 .TP* Examples:
 .cblk
   (flatcar '(1 2 () (3 4))) -> (1 2 nil 3 4)