From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#69249: bug in native-compile? Date: Sun, 18 Feb 2024 18:32:30 -0500 Message-ID: References: Reply-To: Stefan Monnier Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="3945"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: 69249@debbugs.gnu.org, rms@gnu.org To: Robert Boyer Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Feb 19 00:33:57 2024 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 1rbqfV-0000nY-5F for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 19 Feb 2024 00:33:57 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rbqfH-0000su-7i; Sun, 18 Feb 2024 18:33:43 -0500 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 1rbqfF-0000s4-OG for bug-gnu-emacs@gnu.org; Sun, 18 Feb 2024 18:33:41 -0500 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 1rbqfF-0005g0-GF for bug-gnu-emacs@gnu.org; Sun, 18 Feb 2024 18:33:41 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rbqfa-0002RB-6q for bug-gnu-emacs@gnu.org; Sun, 18 Feb 2024 18:34:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 18 Feb 2024 23:34:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69249 X-GNU-PR-Package: emacs Original-Received: via spool by 69249-submit@debbugs.gnu.org id=B69249.17082991969312 (code B ref 69249); Sun, 18 Feb 2024 23:34:02 +0000 Original-Received: (at 69249) by debbugs.gnu.org; 18 Feb 2024 23:33:16 +0000 Original-Received: from localhost ([127.0.0.1]:39957 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rbqei-0002Py-DO for submit@debbugs.gnu.org; Sun, 18 Feb 2024 18:33:16 -0500 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:14074) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rbqef-0002PU-6Y for 69249@debbugs.gnu.org; Sun, 18 Feb 2024 18:33:07 -0500 Original-Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 838D280672; Sun, 18 Feb 2024 18:32:38 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1708299153; bh=rDSoU/kDWwvcyhtVZd3pZFAhEG8bhVCEzrD4RUF712E=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=bUGB4/R67myColz2tDHdm2vbpex/aXW2h2svuvCBZtOvI8RJlbBjpwBsdxnXq+Xk8 057WPUEh4N2a73KdZ5yrj1Aeh8BmuTdXNvlp1gH56Y42HXrGrX0jjhW2aFRfJ+NJeu w7o1r7g6ZMKXzXZwaBPETdCCyp3g8YnlcuTOxjPOWmzVBNpVvNMmNw8OrmmNxkU8uG t2eN9lVzq0z7zPtj9004F+aeuiShcWrHzLxFsfuY/m78GvLx5c7g8eao2zDK67AHDn IAW9H0W1leHowVpfSktIlBdJXVSCRI2lo8+XEE1Cu/xR77TcanIOe4HntXW44bVhuz ckhH6KUufXg0Q== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 4D22B80603; Sun, 18 Feb 2024 18:32:33 -0500 (EST) Original-Received: from milanesa (unknown [45.72.205.238]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 15E691202D7; Sun, 18 Feb 2024 18:32:33 -0500 (EST) In-Reply-To: (Robert Boyer's message of "Sat, 17 Feb 2024 22:26:27 -0600") 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:280222 Archived-At: > ;; However, (native-compile "compile-bug.el") results in the following > error message: > > ;; Compiling file > /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb > 16 08:25:19 2024 > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98fixnum= =E2=80=99 in foo > ;; compile-bug.el:2:45: Warning: Unknown defun property =E2=80=98vector= =E2=80=99 in foo First thing: these are not error messages! They're *warnings*! `batch-byte-compile` also gives those warnings, because ELisp does not know those declarations. The native compiler does support some type annotations, but they do not take this shape. I presume you took those from some other Lisp dialect, but that won't do you much good. Scheme is not Clojure is not Common Lisp is not ELisp ... BTW, A more recent Emacs would give you an additional warning: Warning: file has no =E2=80=98lexical-binding=E2=80=99 directive on its= first line So, I see no bug. Did the resulting native-compile misbehave in any way? I presume you're worried about its performance. If so, do you have concrete code where you measured the performance and were disappointed and where you have good reasons to believe that type annotations would make a difference? If so, we'd be interested to see your code to try and improve our compiler. Stefan