Re: Problems with syntax-ppss: Was [... Apply `comment-depth' text properties when calling `back_comment'.]

[Stefan Monnier]

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

> By the way, have you had a look at my patch, yet,

Yes, and I didn't like it, hence this thread.

> or even tried it out?

No, I trust you that it works.  I just don't like the way it works.


        Stefan