Re: [PATCH v1 02/36] Guile extension language: doc additions

[Doug Evans <xdje42@gmail.com>]

On Sun, Jan 19, 2014 at 8:58 AM, Eli Zaretskii <eliz@gnu.org> wrote:
>> Date: Sat, 18 Jan 2014 12:55:22 -0800
>> From: Doug Evans <xdje42@gmail.com>
>> Cc: Eli Zaretskii <eliz@gnu.org>, "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
>>
>> > If the functionality is that only null-terminated strings are supported,
>> > then the text is fin
>>
>> Correction: Either a null-terminated string or a string with the
>> specified length passed in (i.e., not present in the string itself) is
>> supported.
>>
>> > Eli was suggesting supporting non-null-terminated strings as well, but
>> > indeed, that can always be added later.
>>
>> They are supported, but the caller has to provide the length.
>
> Then let's say that explicitly.  The text as is can be interpreted as
> meaning that such strings aren't supported.

The text does say that strings are either zero-terminated or
the length is explicitly specified.

Here's my current wording.

For C-like languages, a value is a string if it is a pointer to or an
array of characters or ints of type @code{wchar_t}, @code{char16_t},
or @code{char32_t}.  The string is assumed to be terminated
by a zero of the appropriate width.  However if the optional length
argument is given, the string will be converted to that given length,
and will include any embedded zeros that the string may contain.

I'm happy to change it, but I'm going to need some help on what
to change it to.