From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Paul Eggert Newsgroups: gmane.emacs.devel Subject: Re: scratch/accurate-warning-pos: Solid progress: the branch now bootstraps. Date: Sun, 25 Nov 2018 12:12:56 -0800 Organization: UCLA Computer Science Department Message-ID: <2c2ae483-3309-f79d-07a5-30af1f49058b@cs.ucla.edu> References: <20181117124534.GA8831@ACM> <83muq7u9rk.fsf@gnu.org> <20181123130904.GA2916@ACM> <20181125193050.GH27152@ACM> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1543176708 8249 195.159.176.226 (25 Nov 2018 20:11:48 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 25 Nov 2018 20:11:48 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1 Cc: michael_heerdegen@web.de, eliz@gnu.org, cpitclaudel@gmail.com, monnier@IRO.UMontreal.CA, emacs-devel@gnu.org To: Alan Mackenzie Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Nov 25 21:11:43 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 1gR0km-0001vf-Eh for ged-emacs-devel@m.gmane.org; Sun, 25 Nov 2018 21:11:40 +0100 Original-Received: from localhost ([::1]:32849 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gR0ms-0002v6-SH for ged-emacs-devel@m.gmane.org; Sun, 25 Nov 2018 15:13:50 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57371) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gR0mB-0002nb-N1 for emacs-devel@gnu.org; Sun, 25 Nov 2018 15:13:08 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gR0mA-0004D9-KM for emacs-devel@gnu.org; Sun, 25 Nov 2018 15:13:07 -0500 Original-Received: from zimbra.cs.ucla.edu ([131.179.128.68]:52414) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gR0m2-00042j-OY; Sun, 25 Nov 2018 15:13:00 -0500 Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 6CDFD16015B; Sun, 25 Nov 2018 12:12:57 -0800 (PST) Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id 3yxPZ4hQWE62; Sun, 25 Nov 2018 12:12:56 -0800 (PST) Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id B385B160168; Sun, 25 Nov 2018 12:12:56 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id ezgTJGjiJj5o; Sun, 25 Nov 2018 12:12:56 -0800 (PST) Original-Received: from [192.168.1.9] (cpe-23-242-74-103.socal.res.rr.com [23.242.74.103]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 7FC9A16015B; Sun, 25 Nov 2018 12:12:56 -0800 (PST) In-Reply-To: <20181125193050.GH27152@ACM> Content-Language: en-US X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 131.179.128.68 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:231369 Archived-At: Alan Mackenzie wrote: > How do other Lisp compilers work? They must have ways of keeping track > of line and column numbers. I'm pretty sure they don't redefine the meaning of 'eq'.... > The problem is that when compilation is in progress, > > (eq 'foo '#) > > has got to return t. Why not change the byte-compiler to use 'eq-ignoring-symbol-pos' (or whatever you want to call it) instead of 'eq'? The byte compiler could do this for every occurrence of 'eq' in every user macro, as well as in its own code. This should let ordinary Lisp code run at full speed; only compilation would be slowed down.