From unknown Fri Aug 15 19:19:42 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Resent-From: cauderlier@crans.org (=?UTF-8?Q?Rapha=C3=ABl?= Cauderlier) Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 11 Jan 2014 19:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 16416 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 16416@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.138947014822096 (code B ref -1); Sat, 11 Jan 2014 19:56:01 +0000 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) 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-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 unknown Fri Aug 15 19:19:42 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 14 Jan 2014 01:05:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16416 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: cauderlier@crans.org (=?UTF-8?Q?Rapha=C3=ABl?= Cauderlier) Cc: 16416@debbugs.gnu.org Received: via spool by 16416-submit@debbugs.gnu.org id=B16416.138966145132043 (code B ref 16416); Tue, 14 Jan 2014 01:05:01 +0000 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 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> ("=?UTF-8?Q?Rapha=C3=ABl?= 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-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 unknown Fri Aug 15 19:19:42 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Resent-From: Raphael Cauderlier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 14 Jan 2014 10:04:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16416 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16416@debbugs.gnu.org Received: via spool by 16416-submit@debbugs.gnu.org id=B16416.138969381729205 (code B ref 16416); Tue, 14 Jan 2014 10:04:01 +0000 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 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-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 unknown Fri Aug 15 19:19:42 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Resent-From: Lars Ingebrigtsen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 15 Jul 2021 05:07:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16416 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: cauderlier@crans.org (=?UTF-8?Q?Rapha=C3=ABl?= Cauderlier) Cc: 16416@debbugs.gnu.org, Stefan Monnier Received: via spool by 16416-submit@debbugs.gnu.org id=B16416.16263255868768 (code B ref 16416); Thu, 15 Jul 2021 05:07:01 +0000 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 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?Rapha=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 (=?UTF-8?Q?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 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-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