From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Alan Mackenzie Newsgroups: gmane.emacs.devel Subject: Re: Problems with syntax-ppss: Was [... Apply `comment-depth' text properties when calling `back_comment'.] Date: Thu, 10 Mar 2016 13:01:56 +0000 Message-ID: <20160310130156.GA4831@acm.fritz.box> References: <20160308183010.GB6269@acm.fritz.box> <20160308200753.GC6269@acm.fritz.box> <20160309104900.GA3948@acm.fritz.box> <20160309141930.GC3948@acm.fritz.box> <20160309193758.GH3948@acm.fritz.box> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1457614792 2981 80.91.229.3 (10 Mar 2016 12:59:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 10 Mar 2016 12:59:52 +0000 (UTC) Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Mar 10 13:59:40 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ae0Bm-0004MN-9p for ged-emacs-devel@m.gmane.org; Thu, 10 Mar 2016 13:59:38 +0100 Original-Received: from localhost ([::1]:48056 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ae0Bg-00029w-Pp for ged-emacs-devel@m.gmane.org; Thu, 10 Mar 2016 07:59:32 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45157) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ae0BZ-00026N-Cd for emacs-devel@gnu.org; Thu, 10 Mar 2016 07:59:29 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ae0BW-00080j-6D for emacs-devel@gnu.org; Thu, 10 Mar 2016 07:59:25 -0500 Original-Received: from mail.muc.de ([193.149.48.3]:55354) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ae0BV-00080S-TR for emacs-devel@gnu.org; Thu, 10 Mar 2016 07:59:22 -0500 Original-Received: (qmail 30797 invoked by uid 3782); 10 Mar 2016 12:59:19 -0000 Original-Received: from acm.muc.de (p548A4841.dip0.t-ipconnect.de [84.138.72.65]) by colin.muc.de (tmda-ofmipd) with ESMTP; Thu, 10 Mar 2016 13:59:17 +0100 Original-Received: (qmail 4872 invoked by uid 1000); 10 Mar 2016 13:01:56 -0000 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.24 (2015-08-30) X-Delivery-Agent: TMDA/1.1.12 (Macallan) X-Primary-Address: acm@muc.de X-detected-operating-system: by eggs.gnu.org: FreeBSD 9.x X-Received-From: 193.149.48.3 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:201374 Archived-At: 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).