Re: ?\_ patch

[Richard Stallman]

    > 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.