Re: ?\_ patch

[Kim F. Storm]

Richard Stallman <address@hidden> writes:

>         case 's':
>     +       if (stringp)
>     +         return ' ';
>           c = READCHAR;
>     !       if (c != '-') {
>     !         UNREAD (c);
>     !         return ' ';
>     !       }
>           c = READCHAR;
>           if (c == '\\')
> 
> 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.  

So we would at least need to make an exception that no additional
space is needed after a (real) space.

-- 
Kim F. Storm <address@hidden> http://www.cua.dk