Re: ?\_ patch

[Richard Stallman]

          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.