GNU logs - #76573, boring messages

X-Loop: help-debbugs@HIDDEN
Subject: bug#76573: 30.1; native compilation fails for record inside function
Resent-From: Lin Jian <me@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 25 Feb 2025 23:29:02 +0000
Resent-Message-ID: <handler.76573.B.17405261354090 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 76573
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 76573 <at> debbugs.gnu.org
Cc: Andrea Corallo <acorallo@HIDDEN>
X-Debbugs-Original-To: bug-gnu-emacs@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.17405261354090
          (code B ref -1); Tue, 25 Feb 2025 23:29:02 +0000
Received: (at submit) by debbugs.gnu.org; 25 Feb 2025 23:28:55 +0000
Received: from localhost ([127.0.0.1]:49042 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1tn4MB-00013t-1z
	for submit <at> debbugs.gnu.org; Tue, 25 Feb 2025 18:28:55 -0500
Received: from lists.gnu.org ([2001:470:142::17]:42026)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <me@HIDDEN>) id 1tn4M8-00013Z-8L
 for submit <at> debbugs.gnu.org; Tue, 25 Feb 2025 18:28:52 -0500
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 <me@HIDDEN>) id 1tn4M2-00040w-Jq
 for bug-gnu-emacs@HIDDEN; Tue, 25 Feb 2025 18:28:46 -0500
Received: from mail.linj.tech ([5.255.109.209])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>)
 id 1tn4M0-0007yG-Kn; Tue, 25 Feb 2025 18:28:46 -0500
From: Lin Jian <me@HIDDEN>
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linj.tech; s=mail;
 t=1740526120; bh=a8Bhy0NqskU4XxkYJvPI7L7ch3OBikca73DfhE0FsV4=;
 h=From:To:Subject:CC:Date;
 b=JMb5MgjCITBxaE0WaQOyPvpPI8gvwX1dObFSDNvWNlmKGO7Z9u3BxtGi1usRgN4Dg
 h0ro5UxenAotAq7LLRUZor/yFJGcna60LsB7ZqzuJB0yujwxPF/3dK5AUxx+c3t4/p
 GkrU5W7XPStCLKJn2cR2uIvyBcSfWkOkMd+cEL2+7/MA/bu/jPFZ8w2zaGGW6EkagO
 HyP2iblnb/o/uV1YSel2dGLMWoE7dOoNAGMhFGozwBg8i3FYVeQL6neky6bpD59Dfl
 iwzDLkzLNTKF3uCDwWu/N4eIOdXKrFls7AatX7HYSjdnSV0q0nAEcW++n42kPEO87d
 hdPksmoXho7ZA==
Date: Wed, 26 Feb 2025 07:28:31 +0800
Message-ID: <87o6ypa9k0.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Received-SPF: pass client-ip=5.255.109.209; envelope-from=me@HIDDEN;
 helo=mail.linj.tech
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)


Run the following shell command and you see the error.

> emacs -Q --batch --eval="(native-compile (defun foo-f () (record 'foo-r)))"
Error: error (foo-f "Type foo-r missing from typeof-types!")
  signal(error (foo-f "Type foo-r missing from typeof-types!"))
  comp--native-compile(foo-f nil nil)
  native-compile(foo-f)
  eval((native-compile (defun foo-f nil (record 'foo-r))) t)
  command-line-1(("--eval=(native-compile (defun foo-f () (record 'foo-r)))"))
  command-line()
  normal-top-level()
peculiar error: "Type foo-r missing from typeof-types!"

If you set `native-comp-speed' to -1, 0 or 1, there is no error.
> emacs -Q --batch --eval="(setopt native-comp-speed 1)" --eval="(native-compile (defun foo-f () (record 'foo-r)))"

Emacs 30.0.93 and 30.1 have this bug, while Emacs 29.4 does not.

Real world elisp packages triggering this bug are emacs-aio[1] and
el-easydraw[2].

[1]: https://github.com/skeeto/emacs-aio/issues/31
[2]: https://github.com/misohena/el-easydraw/blob/f6b0f43138693b73cb65327d28bd2a4ee1b6caa7/edraw-path.el

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Lin Jian <me@HIDDEN>
Subject: bug#76573: Acknowledgement (30.1; native compilation fails for
 record inside function)
Message-ID: <handler.76573.B.17405261354090.ack <at> debbugs.gnu.org>
References: <87o6ypa9k0.fsf@HIDDEN>
X-Gnu-PR-Message: ack 76573
X-Gnu-PR-Package: emacs
Reply-To: 76573 <at> debbugs.gnu.org
Date: Tue, 25 Feb 2025 23:29:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 76573 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
76573: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D76573
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems