[Top][All Lists]

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

Re: ?\_ patch

From: Richard Stallman
Subject: Re: ?\_ patch
Date: Tue, 11 Feb 2003 17:25:23 -0500

    > This might be a good idea if we combine it with the feature that it is
    > an error to put a digit or a symbol character or # after a character
    > constant with no space in between.

    There are several places where something like '(? ?...) or '(?\ ?...)
    is used, i.e. where no additional space separates the "? " character
    from the "?" of the next character.  

Looking closely, there is no overlap between these cases and the ones
I said should be an error.

reply via email to

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