Robert Elz <k...@munnari.oz.au> wrote, on 08 Aug 2018: > > This is not really about issue 1198, but a question raised by > thinking about issue 1198 ... > > The question is, when an awk script does (not on the command > line, but in the script) > > x="10" > > can the value of x ever be considered a numeric string (in the > awk definition technical sense) ?
No it can't. The standard has a list of 8 sources of string values that are eligible for it to be considered a numeric string, and variable assignment from a string literal does not qualify as any of them. -- Geoff Clare <g.cl...@opengroup.org> The Open Group, Apex Plaza, Forbury Road, Reading, RG1 1AX, England