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

[Alan Mackenzie]

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"?

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

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

Is there anything you don't like about it besides the partial
duplication of the syntax-ppss functionality?  If so, what?

> > or even tried it out?

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

Thanks!

>         Stefan

-- 
Alan Mackenzie (Nuremberg, Germany).