From unknown Fri Aug 15 02:04:26 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#16416 <16416@debbugs.gnu.org> To: bug#16416 <16416@debbugs.gnu.org> Subject: Status: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Reply-To: bug#16416 <16416@debbugs.gnu.org> Date: Fri, 15 Aug 2025 09:04:26 +0000 retitle 16416 24.3; [SMIE] Assertion failure in smie-prec2->grammar reassign 16416 emacs submitter 16416 cauderlier@crans.org (Rapha=C3=ABl Cauderlier) severity 16416 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 11 14:55:47 2014 Received: (at submit) by debbugs.gnu.org; 11 Jan 2014 19:55:48 +0000 Received: from localhost ([127.0.0.1]:47074 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W24el-0005k8-4z for submit@debbugs.gnu.org; Sat, 11 Jan 2014 14:55:47 -0500 Received: from eggs.gnu.org ([208.118.235.92]:51866) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W22vC-0002iY-QE for submit@debbugs.gnu.org; Sat, 11 Jan 2014 13:04:35 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W22v6-0005dB-Iq for submit@debbugs.gnu.org; Sat, 11 Jan 2014 13:04:34 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:59304) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W22v6-0005d1-G2 for submit@debbugs.gnu.org; Sat, 11 Jan 2014 13:04:28 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:53471) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W22v0-00027o-UG for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 13:04:28 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W22uu-0005Zm-5Z for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 13:04:22 -0500 Received: from redisdead.crans.org ([138.231.136.39]:57193) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W22ut-0005ZQ-Q2 for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 13:04:16 -0500 Received: from mojito.crans.org (unknown [IPv6:2a01:e34:ec1d:27d0:864b:f5ff:feb8:9b78]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by redisdead.crans.org (Postfix) with ESMTPSA id 874F32557 for ; Sat, 11 Jan 2014 18:56:36 +0100 (CET) From: cauderlier@crans.org (=?utf-8?Q?Rapha=C3=ABl?= Cauderlier) To: bug-gnu-emacs@gnu.org Subject: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Date: Sat, 11 Jan 2014 18:55:56 +0100 Message-ID: <87y52mo11v.fsf@mojito.crans.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.3 (----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sat, 11 Jan 2014 14:55:40 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Hello, I started emacs with emacs -Q and evaled the following file with load-file: ----- (require 'smie) (smie-prec2->grammar (smie-bnf->prec2 '((name) (l ("a" name))))) ----- This raised the following error message: (cl-assertion-failed (numberp (car cons))) where I expected a SMIE grammar to be returned without error message. The inner function smie-bnf->prec2 doesn't fail and the documentation string for the outter function smie-prec2->grammar indicates that it's argument could be a value returned by smie-bnf->prec2: ----- smie-prec2->grammar is a compiled Lisp function in `smie.el'. (smie-prec2->grammar PREC2) Take a 2D precedence table and turn it into an alist of precedence levels. PREC2 is a table as returned by `smie-precs->prec2' or `smie-bnf->prec2'. ----- I hope I gave you enough information to reproduce this issue. I'm not very familiar with the Lisp Debugger so I don't know how to get a backtrace from a cl-assertion-failed. Have a nice day! --=20 Rapha=C3=ABl Cauderlier In GNU Emacs 24.3.1 (x86_64-pc-linux-gnu, GTK+ Version 3.8.6) of 2013-12-22 on brahms, modified by Debian Windowing system distributor `The X.Org Foundation', version 11.0.11204000 System Description: Debian GNU/Linux testing (jessie) Configured using: `configure '--build' 'x86_64-linux-gnu' '--build' 'x86_64-linux-gnu' '--prefix=3D/usr' '--sharedstatedir=3D/var/lib' '--libexecdir=3D/usr/lib' '--localstatedir=3D/var/lib' '--infodir=3D/usr/share/info' '--mandir=3D/usr/share/man' '--with-pop=3Dyes' '--enable-locallisppath=3D/etc/emacs24:/etc/emacs:/usr/local/share/emacs/2= 4.3/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/24.3/site-l= isp:/usr/share/emacs/site-lisp' '--with-crt-dir=3D/usr/lib/x86_64-linux-gnu' '--with-x=3Dyes' '--with-x-toolkit=3Dgtk3' '--with-toolkit-scroll-bars' 'build_alias=3Dx86_64-linux-gnu' 'CFLAGS=3D-g -O2 -fstack-protector --param=3Dssp-buffer-size=3D4 -Wformat -Werror=3Dformat-security -Wall' 'LDFLAGS=3D-Wl,-z,relro' 'CPPFLAGS=3D-D_FORTIFY_SOURCE=3D2'' Important settings: value of $LANG: fr_FR.UTF-8 locale-coding-system: utf-8-unix default enable-multibyte-characters: t Major mode: Lisp Interaction Minor modes in effect: tooltip-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-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 Recent input: M-x l o a d - f i l e s m i e - b u g . l=20 e l M-x r e p o r t - e m a c=20 s - b u g Recent messages: For information about GNU Emacs and the GNU system, type C-h C-a. Loading /home/harry/test/smie-bug.el (source)... smie-prec2->grammar: Assertion failed: (numberp (car cons)) Load-path shadows: None found. Features: (shadow sort gnus-util mail-extr emacsbug message format-spec rfc822 mml easymenu mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils smie time-date tooltip ediff-hook vc-hooks lisp-float-type mwheel x-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list newcomment lisp-mode register page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core frame cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer loaddefs button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote make-network-process dbusbind dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty emacs) From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 13 20:04:10 2014 Received: (at 16416) by debbugs.gnu.org; 14 Jan 2014 01:04:11 +0000 Received: from localhost ([127.0.0.1]:49545 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W2sQM-0008Kl-Ek for submit@debbugs.gnu.org; Mon, 13 Jan 2014 20:04:10 -0500 Received: from ironport2-out.teksavvy.com ([206.248.154.181]:10548) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W2sQK-0008Kc-HV for 16416@debbugs.gnu.org; Mon, 13 Jan 2014 20:04:08 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av4EABK/CFFMCoyj/2dsb2JhbABEvw4Xc4IfAQUnLyMQCzQSFBgNiEjBLZEKA4hhnBmBXoMV X-IPAS-Result: Av4EABK/CFFMCoyj/2dsb2JhbABEvw4Xc4IfAQUnLyMQCzQSFBgNiEjBLZEKA4hhnBmBXoMV X-IronPort-AV: E=Sophos;i="4.84,565,1355115600"; d="scan'208";a="44869543" Received: from 76-10-140-163.dsl.teksavvy.com (HELO pastel.home) ([76.10.140.163]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 13 Jan 2014 20:04:07 -0500 Received: by pastel.home (Postfix, from userid 20848) id C8A246105F; Mon, 13 Jan 2014 20:04:07 -0500 (EST) From: Stefan Monnier To: cauderlier@crans.org (=?windows-1252?Q?Rapha=EBl?= Cauderlier) Subject: Re: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Message-ID: References: <87y52mo11v.fsf@mojito.crans.org> Date: Mon, 13 Jan 2014 20:04:07 -0500 In-Reply-To: <87y52mo11v.fsf@mojito.crans.org> (=?windows-1252?Q?=22Rapha?= =?windows-1252?Q?=EBl?= Cauderlier"'s message of "Sat, 11 Jan 2014 18:55:56 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 16416 Cc: 16416@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) > (smie-prec2->grammar (smie-bnf->prec2 '((name) (l ("a" name))))) > This raised the following error message: > (cl-assertion-failed (numberp (car cons))) Hmm..indeed. The assertion can be removed, but then we bump into another signal. The problem is that the grammar is simply "too trivial" and smie.el seems to bump into invalid assumptions in that case. As soon as you add some other terminal to the "l" rule, or the "name" rule, or you use "l" somewhere, the problem disappears. Intuitively this problem might manifest itself in a more realistic grammar, yet I don't quite see in which case, and for that reason I don't really see yet what would be the right fix. I'm tempted to think that the problem is partly to blame on smie-bnf->prec2 which generates a prec2 table where "a" is missing (except for the side info of :smie-open/close-alist). Stefan From debbugs-submit-bounces@debbugs.gnu.org Tue Jan 14 05:03:37 2014 Received: (at 16416) by debbugs.gnu.org; 14 Jan 2014 10:03:37 +0000 Received: from localhost ([127.0.0.1]:49738 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W30qO-0007aw-OD for submit@debbugs.gnu.org; Tue, 14 Jan 2014 05:03:37 -0500 Received: from redisdead.crans.org ([138.231.136.39]:56412) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W30qM-0007ah-DR for 16416@debbugs.gnu.org; Tue, 14 Jan 2014 05:03:35 -0500 Received: from zamok.crans.org.crans.org (zamok.crans.org [IPv6:2a01:240:fe3d:4:219:bbff:fe3c:4f76]) by redisdead.crans.org (Postfix) with ESMTP id 0834A2416; Tue, 14 Jan 2014 11:03:32 +0100 (CET) From: Raphael Cauderlier To: Stefan Monnier Subject: Re: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar References: <87y52mo11v.fsf@mojito.crans.org> Date: Tue, 14 Jan 2014 11:03:32 +0100 In-Reply-To: (Stefan Monnier's message of "Mon, 13 Jan 2014 20:04:07 -0500") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.1 (/) X-Debbugs-Envelope-To: 16416 Cc: 16416@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.1 (/) Stefan Monnier writes: >> (smie-prec2->grammar (smie-bnf->prec2 '((name) (l ("a" name))))) >> This raised the following error message: >> (cl-assertion-failed (numberp (car cons))) > > Hmm..indeed. The assertion can be removed, but then we bump into > another signal. The problem is that the grammar is simply "too > trivial" and smie.el seems to bump into invalid assumptions in > that case. As soon as you add some other terminal to the "l" rule, or > the "name" rule, or you use "l" somewhere, the problem disappears. > > Intuitively this problem might manifest itself in a more realistic > grammar, I don't know if you would call it realistic but I actually got it with the following grammar: (smie-prec2->grammar (smie-bnf->prec2 '((id) (prelude ("#NAME" id)) (line ("#IMPORT" id) (term ".") (term ":=3D" term ".") (rule) (rule ".") ("#ASSERT" term "=3D~" term ".")) (rule ("[" context "]" term "-->" term)) (decl (id ":" term)) (context (decl "," context) (decl)) (term (id) ("{" id "}") (decl) ("_") (term "->" term) (decl "=3D>" term))) '((assoc ":") (assoc "->" "=3D>")))) which I find a bit more complicated than the example grammar given in the manual section `SMIE Grammar'. I wrote this from Dedukti BNF grammar. Dedukti (https://www.rocq.inria.fr/deducteam/Dedukti/index.html) is a simple language for which I am writing a major mode (https://github.com/rafoo/dedukti-mode/blob/master/dedukti-mode.el). I then minimized the example before reporting, keeping only the `id' empty rule and the first `line' rule. > As soon as you add some other terminal to the "l" rule, or > the "name" rule, or you use "l" somewhere, the problem disappears. Thank you for your suggestion, I added "\n" at the end of, the first `line' rule and the problem is solved for me; I can continue to play with SMIE :) > yet I don't quite see in which case, and for that reason > I don't really see yet what would be the right fix. I'm tempted to > think that the problem is partly to blame on smie-bnf->prec2 which > generates a prec2 table where "a" is missing (except for the side info > of :smie-open/close-alist). Thank you for your investigation and thank you for SMIE; I am sure it will help me a lot improving my major mode indentation! --=20 Rapha=C3=ABl Cauderlier From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 15 01:06:26 2021 Received: (at 16416) by debbugs.gnu.org; 15 Jul 2021 05:06:26 +0000 Received: from localhost ([127.0.0.1]:46275 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m3tZq-0002HL-H6 for submit@debbugs.gnu.org; Thu, 15 Jul 2021 01:06:26 -0400 Received: from quimby.gnus.org ([95.216.78.240]:52100) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m3tZp-0002H3-3M for 16416@debbugs.gnu.org; Thu, 15 Jul 2021 01:06:25 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID :In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=vh1gaixtin2S9vURJb6ySmUuK5oYo2tNt49kmZ6KPNQ=; b=PlzGu4ixTH1zZ6g0vK6nDOE5Ul iiE/QNev9b8xlk8D5CTrr8oBnTbm0eGMfPvVypLqISEBGyMMy973aZfpMgqS1cpVXFUSi1yRYux4p nmfQcsdjCZ1pFTEuNgYLcC0gZmA9G4JG3N83+nVpRenvqN9+KDXjf+cB+54u1Q7fPkzI=; Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=elva) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m3tZg-00040i-Ec; Thu, 15 Jul 2021 07:06:19 +0200 From: Lars Ingebrigtsen To: cauderlier@crans.org (=?utf-8?Q?Rapha=C3=ABl?= Cauderlier) Subject: Re: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar References: <87y52mo11v.fsf@mojito.crans.org> X-Now-Playing: Squarepusher's _Be Up A Hello_: "Terminal Slam" Date: Thu, 15 Jul 2021 07:06:16 +0200 In-Reply-To: <87y52mo11v.fsf@mojito.crans.org> (=?utf-8?Q?=22Rapha=C3=ABl?= Cauderlier"'s message of "Sat, 11 Jan 2014 18:55:56 +0100") Message-ID: <87im1cqi7r.fsf@gnus.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: cauderlier@crans.org (Raphaƫl Cauderlier) writes: > I started emacs with emacs -Q and evaled the following file with > load-file: > > ----- > (require 'smie) > (smie-prec2->grammar (smie-bnf->prec2 '((name) (l ("a" name))))) > ----- > > This raised t [...] Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 16416 Cc: 16416@debbugs.gnu.org, Stefan Monnier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) cauderlier@crans.org (Rapha=C3=ABl Cauderlier) writes: > I started emacs with emacs -Q and evaled the following file with > load-file: > > ----- > (require 'smie) > (smie-prec2->grammar (smie-bnf->prec2 '((name) (l ("a" name))))) > ----- > > This raised the following error message: > > (cl-assertion-failed (numberp (car cons))) (I'm going through old bug reports.) In more recent versions of Emacs, the `smie-prec2->grammar' call returns nil, so it seems like this bug has been fixed. (And if I interpret what Stefan said at the time correctly, that's the right value.) So I'm closing this bug report. If there's something more to be worked on here, please respond to the debbugs address and we'll reopen. --=20 (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 15 01:06:32 2021 Received: (at control) by debbugs.gnu.org; 15 Jul 2021 05:06:32 +0000 Received: from localhost ([127.0.0.1]:46278 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m3tZv-0002Hh-On for submit@debbugs.gnu.org; Thu, 15 Jul 2021 01:06:32 -0400 Received: from quimby.gnus.org ([95.216.78.240]:52112) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m3tZu-0002HD-EF for control@debbugs.gnu.org; Thu, 15 Jul 2021 01:06:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc: MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=KSVg5Wja1eOkuPy7Eng6R65uiU+ud1Imtw8icRltUgU=; b=IcCJcdsCcaygC5OkhJxJ94pJGR 0rQEDMQDkU337BiNTSSD/zU1XbtXgMMgVpPw0yEZYKbPA+UOtgw6U02uNEeeYIos5eMY0/wKsbdfo pyQVCitK77/UfimYB89lw4OFJAOCyaMpsC4pijiSbIItKvKZHEKxg8iqpX9Gm/QHXzbA=; Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=elva) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m3tZm-00040t-U3 for control@debbugs.gnu.org; Thu, 15 Jul 2021 07:06:25 +0200 Date: Thu, 15 Jul 2021 07:06:22 +0200 Message-Id: <87h7gwqi7l.fsf@gnus.org> To: control@debbugs.gnu.org From: Lars Ingebrigtsen Subject: control message for bug #16416 X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: close 16416 quit Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) close 16416 quit From unknown Fri Aug 15 02:04:26 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 12 Aug 2021 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator