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 02:16:05PM -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?

By the way, have you had a look at my patch, yet, or even tried it out?

>         Stefan

-- 
Alan Mackenzie (Nuremberg, Germany).