From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Richard Stallman Newsgroups: gmane.emacs.bugs Subject: bug#69262: [robertstephenboyer@gmail.com: Please forward to the folks who get message from m-x report-emacs-bug] Date: Sun, 18 Feb 2024 22:49:20 -0500 Message-ID: Reply-To: rms@gnu.org Content-Type: text/plain; charset=Utf-8 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="20660"; mail-complaints-to="usenet@ciao.gmane.io" To: 69262@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Feb 19 04:49:59 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 1rbufH-0005C4-MB for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 19 Feb 2024 04:49:59 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rbuf2-0005vh-24; Sun, 18 Feb 2024 22:49:44 -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 1rbuf0-0005vE-0A for bug-gnu-emacs@gnu.org; Sun, 18 Feb 2024 22:49:42 -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 1rbuez-0004Kj-OR for bug-gnu-emacs@gnu.org; Sun, 18 Feb 2024 22:49:41 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rbufK-0003Wo-IN for bug-gnu-emacs@gnu.org; Sun, 18 Feb 2024 22:50:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Richard Stallman Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 19 Feb 2024 03:50:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69262 X-GNU-PR-Package: emacs X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.170831458713534 (code B ref -1); Mon, 19 Feb 2024 03:50:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 19 Feb 2024 03:49:47 +0000 Original-Received: from localhost ([127.0.0.1]:40120 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rbuf4-0003WD-Lw for submit@debbugs.gnu.org; Sun, 18 Feb 2024 22:49:47 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:37392) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rbuf1-0003W4-22 for submit@debbugs.gnu.org; Sun, 18 Feb 2024 22:49:45 -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 1rbuef-0005s9-Sw for bug-gnu-emacs@gnu.org; Sun, 18 Feb 2024 22:49:21 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rbuef-0004IP-Kq for bug-gnu-emacs@gnu.org; Sun, 18 Feb 2024 22:49:21 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=Date:Subject:To:From:mime-version:in-reply-to: references; bh=bvaB3RgtrAHU2UeTx4Hcg7MhQ+CcE17p5HZtH+5ASPA=; b=lsjvhINk8CyqRE Oqe2BJgAErhS+qVti0OLDQMmfO84JKLnXipN41K0Sp6qwke2orsKiMzJLq535Q/KopRjrg1VleDW0 Mo6EKnsXWeIpa10ATKcW/BnyegpYvKgX6MKjZs43tl8b3K0j+OdlIMdnkd19Pe6HeWsC4YFpHihLp Qy0ZsftBkG0CmTKxUTPz/D0fsLMdCduDZcdreY/JO/JylD7VeBSFkrKRoBBIwoMnkp170U3j2MZc/ 7EH3LWG5TTTI5EP36hV1Tc4wo+z0/EAlFQTqWOdzA87lgJXGfMUO7G8yZGg4izt2oIx6JmSZml4Iy g5UTZm6T607n9k4tjHdQ==; Original-Received: from rms by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1rbuee-0002PY-M4; Sun, 18 Feb 2024 22:49:20 -0500 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:280232 Archived-At: I am forwarding this bug report, so I can't usefully run report-emacs-bug here. ------- Start of forwarded message ------- From: Robert Boyer Date: Fri, 16 Feb 2024 08:57:37 -0600 Message-ID: Subject: Please forward to the folks who get message from m-x report-emacs-bug To: rms@gnu.org Content-Type: multipart/alternative; boundary="0000000000003252f4061180f923" [1:text/plain Hide] Dearest rms, Since I cannot use m-x report-emacs-bug yet, I am sending this report to you in the hopes that you will send it to whom it may concern. With the highest regards, Bob - ---------------------------------------------------------------------- ;; Let us suppose that this is the file "compile-bug.el" ;; Invoking (native-compile "compile-bug.el") should work, I do believe. ;; However it fails and the error message is printed below. ;; It cannot be emphasized enough how serious this problem seems to me, Bob ;; Boyer, robertstephenboyer@gmail.com. ;; The reason it is so SERIOUS is that ANY Lisp compiler would need to be ;; delighted to see such a typing expression as ;; (declare (fixnum start end) (vector input scratch)) ;; Why? BECAUSE it means that the compiler does not have to lay down code to ;; type check the type of start, end, input, and scratch!!!! ;; However, (byte-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 ‘fixnum’ in foo ;; compile-bug.el:2:45: Warning: Unknown defun property ‘vector’ in foo (defun foo (start end input scratch) (declare (fixnum start end) (vector input scratch)) (list start end input scratch)) ;; foo works fine ;; Here is an example form for the invocation of foo: ;; (foo 1 2 (make-vector 3 4) (make-vector 5 6)) ;; That form runs ok if it is running with foo interpreted. ;; (byte-compile 'foo) runs ok. ;; One can run the same form after byte-compiling and it runs ok. ;; However, (native-compile "compile-bug.el") fails with ;; the error report: ;; Compiling file /mnt/chromeos/GoogleDrive/MyDrive/Linux/working/compile-bug.el at Fri Feb 16 08:35:04 2024 ;; compile-bug.el:12:45: Warning: Unknown defun property ‘fixnum’ in foo ;; compile-bug.el:12:45: Warning: Unknown defun property ‘vector’ in foo ;; Let us suppose that this is the end of the file "compile-bug.el" - ---------------------------------------------------------------------- Here is the rest of the info that I think that m-x report-emacs-bug was trying to enclose in my attempt to use m-x report-emacs-bug. Configured using: 'configure --build x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/libexec --localstatedir=/var/lib --infodir=/usr/share/info --mandir=/usr/share/man --with-libsystemd --with-pop=yes --enable-locallisppath=/etc/emacs:/usr/local/share/emacs/28.2/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/28.2/site-lisp:/usr/share/emacs/site-lisp --with-sound=alsa --without-gconf --with-mailutils --with-native-compilation --build x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/libexec --localstatedir=/var/lib --infodir=/usr/share/info --mandir=/usr/share/man --with-libsystemd --with-pop=yes --enable-locallisppath=/etc/emacs:/usr/local/share/emacs/28.2/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/28.2/site-lisp:/usr/share/emacs/site-lisp --with-sound=alsa --without-gconf --with-mailutils --with-native-compilation --with-cairo --with-x=yes --with-x-toolkit=gtk3 --with-toolkit-scroll-bars 'CFLAGS=-g -O2 -ffile-prefix-map=/build/emacs-mPr7Vr/emacs-28.2+1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall' 'CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2' LDFLAGS=-Wl,-z,relro' Configured features: ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG JSON LCMS2 LIBOTF LIBSELINUX LIBSYSTEMD LIBXML2 M17N_FLT MODULES NATIVE_COMP NOTIFY INOTIFY PDUMPER PNG RSVG SECCOMP SOUND THREADS TIFF TOOLKIT_SCROLL_BARS X11 XDBE XIM XPM GTK3 ZLIB Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix Major mode: ELisp/d Minor modes in effect: shell-dirtrack-mode: t display-time-mode: t tooltip-mode: t global-eldoc-mode: t eldoc-mode: t show-paren-mode: t electric-indent-mode: t mouse-wheel-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort mail-extr emacsbug message rmc puny rfc822 mml mml-sec epa derived epg rfc6068 epg-config gnus-util rmail rmail-loaddefs mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils mode-local autorevert filenotify descr-text eieio-opt speedbar ezimage dframe shortdoc lpr apropos compile text-property-search comp comp-cstr warnings rx cl-extra cl-print debug backtrace find-func help-fns radix-tree help-mode thingatpt misearch multi-isearch time-date cus-start etags fileloop generator xref project dired-aux cus-edit pp cus-load wid-edit trace sh-script smie executable dired dired-loaddefs cal-menu calendar cal-loaddefs ange-ftp shell pcomplete comint ansi-color ring benchmark time face-remap finder-inf package browse-url url url-proxy url-privacy url-expand url-methods url-history url-cookie url-domsuf url-util mailcap url-handlers url-parse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs password-cache json subr-x map url-vars seq byte-opt gv bytecomp byte-compile cconv cl-loaddefs cl-lib iso-transl tooltip eldoc paren electric uniquify ediff-hook vc-hooks lisp-float-type elisp-mode mwheel term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu timer select scroll-bar mouse jit-lock font-lock syntax font-core term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese composite emoji-zwj charscript charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice button loaddefs faces cus-face macroexp files window text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads dbusbind inotify lcms2 dynamic-setting system-font-setting font-render-setting cairo move-toolbar gtk x-toolkit x multi-tty make-network-process native-compile emacs) Memory information: ((conses 16 440800 29368) (symbols 48 15229 0) (strings 32 57747 2517) (string-bytes 1 4555170) (vectors 16 31666) (vector-slots 8 931977 74485) (floats 8 118 370) (intervals 56 88945 28) (buffers 992 36)) [2:text/html Show Save:noname (6kB)] ------- End of forwarded message ------- -- Dr Richard Stallman (https://stallman.org) Chief GNUisance of the GNU Project (https://gnu.org) Founder, Free Software Foundation (https://fsf.org) Internet Hall-of-Famer (https://internethalloffame.org)