From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Alan Mackenzie Newsgroups: gmane.emacs.devel Subject: Re: scratch/accurate-warning-pos: Solid progress: the branch now bootstraps. Date: Sat, 1 Dec 2018 11:48:35 +0000 Message-ID: <20181201114835.GB5102@ACM> References: <20181127211539.GB4705@ACM> <8c38f335-b25d-9ef6-110c-6efc4fda9d67@cs.ucla.edu> <20181127215347.GC4705@ACM> <23334086-c0a1-7b34-4234-343719618bd1@cs.ucla.edu> <20181128120443.GA4036@ACM> <20181129220552.GI12576@ACM> <9dde4ed7-8401-6022-a668-258d48bb7726@cs.ucla.edu> <20181130185503.GA16256@ACM> <87o9a6gkh9.fsf@runbox.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: blaine.gmane.org 1543665089 7065 195.159.176.226 (1 Dec 2018 11:51:29 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 1 Dec 2018 11:51:29 +0000 (UTC) User-Agent: Mutt/1.10.1 (2018-07-13) Cc: cpitclaudel@gmail.com, Paul Eggert , michael_heerdegen@web.de, emacs-devel@gnu.org, monnier@IRO.UMontreal.CA, Eli Zaretskii To: Gemini Lasswell Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Dec 01 12:51:25 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gT3nw-0001hx-P1 for ged-emacs-devel@m.gmane.org; Sat, 01 Dec 2018 12:51:24 +0100 Original-Received: from localhost ([::1]:40906 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gT3q3-0005kU-Bi for ged-emacs-devel@m.gmane.org; Sat, 01 Dec 2018 06:53:35 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:44687) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gT3p8-0005iT-EB for emacs-devel@gnu.org; Sat, 01 Dec 2018 06:52:39 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gT3p5-0003x1-5m for emacs-devel@gnu.org; Sat, 01 Dec 2018 06:52:38 -0500 Original-Received: from colin.muc.de ([193.149.48.1]:45582 helo=mail.muc.de) by eggs.gnu.org with smtp (Exim 4.71) (envelope-from ) id 1gT3p4-0003wC-SJ for emacs-devel@gnu.org; Sat, 01 Dec 2018 06:52:35 -0500 Original-Received: (qmail 78906 invoked by uid 3782); 1 Dec 2018 11:52:33 -0000 Original-Received: from acm.muc.de (p2E5D5B13.dip0.t-ipconnect.de [46.93.91.19]) by colin.muc.de (tmda-ofmipd) with ESMTP; Sat, 01 Dec 2018 12:52:31 +0100 Original-Received: (qmail 5168 invoked by uid 1000); 1 Dec 2018 11:48:35 -0000 Content-Disposition: inline In-Reply-To: <87o9a6gkh9.fsf@runbox.com> 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 [fuzzy] X-Received-From: 193.149.48.1 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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" Xref: news.gmane.org gmane.emacs.devel:231552 Archived-At: Hello, Gemini. On Fri, Nov 30, 2018 at 16:26:58 -0800, Gemini Lasswell wrote: > Alan Mackenzie writes: > > Hello, Paul. > > On Fri, Nov 30, 2018 at 09:50:09 -0800, Paul Eggert wrote: > >> On 11/29/18 2:05 PM, Alan Mackenzie wrote: > >> > Symbols-with-pos exists, works, and works well. Conses-with-pos > >> > doesn't exist, hence doesn't work. I doubt it can work. Can you > >> > create it? > >> I think I could, with time. > > But you're not going to? > >> I hope someone else will do it, though, as the problem does not seem > >> that urgent. I would suggest that whoever does it, looks into Stefan's > >> ideas in this area, e.g., > >> . > > Nobody else is going to do it, and why should they? I've already > > explained to you why the approach you suggest won't work, you being > > about the only person insisting that it will. If you actually tried it, > > as I have, you'd soon find out that I'm right, and why. > Saying that nobody will do it is a bit strong. OK. > I like Stefan's ideas, understand edebug specs, and would like to know > more about how the byte compiler works. I'll admit I didn't follow these ideas completely. But I don't think they addressed the central problem, namely how to associate source buffer positions with the form being compiled as it flows through sets of conses on its journey from source to byte code. > This seems like a perfect project for that. It's a frustrating and difficult project. I've been trying to fix it, on and off, since 2016. ;-) > But it wouldn't happen immediately, as I'd like to get my > half-finished benchmarking tool to a state where it's usable by other > people, before I start any other projects. By the way, if I haven't already said it, I like this tool, despite the timings it gave my software. Thanks! -- Alan Mackenzie (Nuremberg, Germany).