Copy lazy strings without forcing.

* lib.c (copy_lazy_str): New static function.
(copy_str): Use copy_lazy_str to copy lazy strings.

* txr.1: Documentation added under copy-str.

1 files changed, 12 insertions, 0 deletions

diff --git a/txr.1 b/txr.1
index 309b5d8b..f8d2dd89 100644
--- a/txr.1
+++ b/txr.1
@@ -16133,6 +16133,18 @@ function constructs a new string whose contents are identical
 to
 .metn string .
 
+If
+.meta string
+is a lazy string, then a lazy string is constructed with the
+same attributes as
+.metn string .
+The new lazy string has its own copy of the prefix portion of
+.meta string
+which has been forced so far. The unforced list and separator
+string are shared between
+.meta string
+and the newly constructed lazy string.
+
 .coNP Function @ upcase-str
 .synb
 .mets (upcase-str << string )