Re: Aliasing separators (Re: grammar triviality with '&&')

[Vincent Lefevre <vincent@xxxxxxxxxx>]

On 2015-03-07 13:10:08 -0800, Bart Schaefer wrote:
> Actually, that helped me to put some sort of explanation around my
> intuition of how aliasing should work:
> 
>  A token may be expanded as an alias only if doing so cannot change the
>  lexical interpretation of any tokens that may appear adjacent to it.
> 
> This emphasizes that "{this" expanding to "{ foothis" in the example at
> the tail of my previous message, is a bug: The interpretation of "this"
> has been changed, and the internal inconsistency is manifest when you
> examine what has been stored in the history.

Can't this be solved by adding a space during alias expansion?

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)