[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
index("","")
|
From: |
W M Brelsford |
|
Subject: |
index("","") |
|
Date: |
Fri, 22 Aug 2003 10:23:11 -0700 |
|
User-agent: |
Mutt/1.4.1i |
Up through gawk-3.1.0, the value of
index("","")
(or, more usefully, "index($0,$1)" with a null input line) was 0.
In 3.1.1, and still in 3.1.3, it evaluates to 1.
Is this a bug or a change in definition? I assume a bug, since the
string doesn't have a position 1.
Thanks,
--
Bill Brelsford
address@hidden
- index("",""),
W M Brelsford <=