[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: substr() does't return null string
|
From: |
Andrew J. Schorr |
|
Subject: |
Re: substr() does't return null string |
|
Date: |
Thu, 19 Dec 2019 11:56:41 -0500 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Thu, Dec 19, 2019 at 06:48:23PM +0200, Denis Shirokov wrote:
> hello,
>
> ( gawk 4.2.1 )
>
>
> according to The GNU Awk User’s Guide ( at
> https://www.gnu.org/software/gawk/manual/gawk.html#Bug-address ):
>
> ...If start is greater than the number of characters in the string,
> substr() returns the null string...
>
I think the wording is just a bit vague here. It should probably
say "returns an empty string". But I defer to Arnold for the
language lawyering.
Regards,
Andy