[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: @ continuation not working in @def...

From: Per Bothner
Subject: Re: @ continuation not working in @def...
Date: Tue, 9 Feb 2021 16:36:09 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.0

On 2/9/21 4:15 PM, Patrice Dumas wrote:

in general, nothing is ignored at the parsing stage.  That way the
original document can be more easily regenerated from a format without
information loss such as TexinfoXML, and also because in some situations
(@verbatim, @verb, @html, @example...) we want to keep all the spaces as

Actually, I don't think it is correct to preserve invisible white-space at
end-of-line, even in verbatim modes.  A texinfo file should be viewed a text 
Distinctions between different kinds of line-ending is not part of the
"information set" of a text file, and neither is white-space at end-of-line:
Consider a deck of punch cards (which some of us are old enough to have used for
writing programs), or OCR from a printed page.

Of course this is bikeshedding: I don't care enough to submit a patch or
argue strongly.  But in general a text-file processor (such as a compiler)
which treats different line endings (including end-of-line whitespace) 
is IMO doing it wrong.  (Assuming no backward-compatibility issues, of course.)
        --Per Bothner
per@bothner.com   http://per.bothner.com/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]