From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Alan Mackenzie Newsgroups: gmane.emacs.bugs Subject: bug#64646: Master: Native compiler doesn't always compile lambda forms. Date: Sat, 15 Jul 2023 13:20:04 +0000 Message-ID: References: <83wmz1b9yt.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17134"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 64646@debbugs.gnu.org, Andrea Corallo To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Jul 15 15:21:30 2023 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qKfDG-0004D6-8n for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 15 Jul 2023 15:21:30 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qKfCr-0005Vs-Ag; Sat, 15 Jul 2023 09:21:05 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qKfCo-0005Tq-Um for bug-gnu-emacs@gnu.org; Sat, 15 Jul 2023 09:21:02 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qKfCo-0004Li-Ms for bug-gnu-emacs@gnu.org; Sat, 15 Jul 2023 09:21:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qKfCo-0005Kl-IP for bug-gnu-emacs@gnu.org; Sat, 15 Jul 2023 09:21:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Alan Mackenzie Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 15 Jul 2023 13:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64646 X-GNU-PR-Package: emacs Original-Received: via spool by 64646-submit@debbugs.gnu.org id=B64646.168942721620415 (code B ref 64646); Sat, 15 Jul 2023 13:21:02 +0000 Original-Received: (at 64646) by debbugs.gnu.org; 15 Jul 2023 13:20:16 +0000 Original-Received: from localhost ([127.0.0.1]:44359 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qKfC4-0005JD-Cx for submit@debbugs.gnu.org; Sat, 15 Jul 2023 09:20:16 -0400 Original-Received: from mx3.muc.de ([193.149.48.5]:40126) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qKfBz-0005Iq-Lb for 64646@debbugs.gnu.org; Sat, 15 Jul 2023 09:20:15 -0400 Original-Received: (qmail 99200 invoked by uid 3782); 15 Jul 2023 15:20:05 +0200 Original-Received: from acm.muc.de (pd953a5ce.dip0.t-ipconnect.de [217.83.165.206]) (using STARTTLS) by colin.muc.de (tmda-ofmipd) with ESMTP; Sat, 15 Jul 2023 15:20:04 +0200 Original-Received: (qmail 20950 invoked by uid 1000); 15 Jul 2023 13:20:04 -0000 Content-Disposition: inline In-Reply-To: <83wmz1b9yt.fsf@gnu.org> X-Submission-Agent: TMDA/1.3.x (Ph3nix) X-Primary-Address: acm@muc.de X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:265202 Archived-At: Hello, Eli. On Sat, Jul 15, 2023 at 16:06:18 +0300, Eli Zaretskii wrote: > > Date: Sat, 15 Jul 2023 12:10:06 +0000 > > From: Alan Mackenzie > > In the master branch: > > (i) emacs -Q > > (ii) C-x b foo.el > > (iii) Insert into foo.el: > > ;; -*- lexical-binding:t -*- > > (iv) M-x emacs-lisp-mode > > (v) Insert into foo.el: > > (defun foo () "foo doc string" > > (lambda (bar) "lambda doc string" (car bar))) > > (vi) With point after the function, C-x C-e to evaluate it. > > (vii) M-: (native-compile 'foo) > > This returns # > > (viii) M-: (foo) > > This returns the lambda form as a byte-compiled function. This is a bug: > > it should return the lambda form as a native-compiled function. > Why do you think it should return the native-compiled form? Based on > what? Well, if the native compilation compiled _all_ of the defun, the lambda form would also have been compiled, and surely that is what should have been returned. There is some suspicion that the native compilation on this defun is incomplete. When we do byte-compilation, the returned value is byte-compiled. By analogy, when we do NC, the return value should be NC'd. I can't see any reason to return a byte-compiled function. The fact that we use byte-compilation as a part of native-compilation should be an internal detail, not visible from outside. Also, the returned lambda function being byte-compiled will cause it to run more slowly that if it were native-compiled. -- Alan Mackenzie (Nuremberg, Germany).