Hello, Stefan.
On Wed, Mar 09, 2016 at 04:40:45PM -0500, Stefan Monnier wrote:
...., so if you have a problem with the implementation, fix it (or
report it as a bug, at the very least) and everyone else will benefit.
Perhaps you could fix the problems I've identified here and in my last
email.
Why would I bother, since I don't even know of any real use case where
those problems are triggered?
OK, fine. So we go with my approach to back_comment, then?
Why?
Well, given that syntax-ppss is not suitable for fixing back_comment,
the alternatives are not fixing it, substantially amending syntax-ppss,
using my new code, or fixing it some other way. I really think it
should be fixed. You don't want syntax-ppss to be changed. Do you have
an idea for an "other way"?