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: next steps. Date: Mon, 10 Dec 2018 18:28:30 +0000 Message-ID: <20181210182830.GD4188@ACM> References: <20181210180033.GC4188@ACM> <831s6p2qq1.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: blaine.gmane.org 1544467936 7619 195.159.176.226 (10 Dec 2018 18:52:16 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 10 Dec 2018 18:52:16 +0000 (UTC) User-Agent: Mutt/1.10.1 (2018-07-13) Cc: emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Dec 10 19:52:11 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 1gWQf3-0001pV-2f for ged-emacs-devel@m.gmane.org; Mon, 10 Dec 2018 19:52:09 +0100 Original-Received: from localhost ([::1]:34326 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gWQh9-0006ti-P9 for ged-emacs-devel@m.gmane.org; Mon, 10 Dec 2018 13:54:19 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37740) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gWQco-00033u-8b for emacs-devel@gnu.org; Mon, 10 Dec 2018 13:49:57 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gWQNG-00082g-OY for emacs-devel@gnu.org; Mon, 10 Dec 2018 13:33:52 -0500 Original-Received: from colin.muc.de ([193.149.48.1]:56662 helo=mail.muc.de) by eggs.gnu.org with smtp (Exim 4.71) (envelope-from ) id 1gWQNG-000823-9d for emacs-devel@gnu.org; Mon, 10 Dec 2018 13:33:46 -0500 Original-Received: (qmail 28252 invoked by uid 3782); 10 Dec 2018 18:33:45 -0000 Original-Received: from acm.muc.de (p2E5D5AF9.dip0.t-ipconnect.de [46.93.90.249]) by colin.muc.de (tmda-ofmipd) with ESMTP; Mon, 10 Dec 2018 19:33:43 +0100 Original-Received: (qmail 8957 invoked by uid 1000); 10 Dec 2018 18:28:30 -0000 Content-Disposition: inline In-Reply-To: <831s6p2qq1.fsf@gnu.org> 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:231744 Archived-At: Hello, Eli. On Mon, Dec 10, 2018 at 20:15:18 +0200, Eli Zaretskii wrote: > > Date: Mon, 10 Dec 2018 18:00:33 +0000 > > From: Alan Mackenzie > > Following an idea from Paul, I propose to build an alternative byte-code > > interpreter alongside the primary one. This second interpreter would > > regard symbols with position as being EQ to the corresponding bare > > symbols, just as the branch currently does when symbols-with-pos-enabled > > is bound to non-nil. > I don't think I understood when will this alternative interpreter be > used, and when will the "primary" one be used. Can you elaborate on > that? Yes. The alternative interpreter would be used only for byte compilation (and possibly other programs which want to use the symbols with position mechanism), the primary one will be used at all other times. There would be a function switch-to-BC-subrs accessible from Lisp which would switch to the alternative interpreter, and switch-to-normal-subrs for the reverse. Or something like that. byte-compile-file and friends would use these functions. Any recursive-edit would "bind" to the normal interpreter. C-g, and any other quit actions would restore the normal interpreter. > Thanks. -- Alan Mackenzie (Nuremberg, Germany).