GNU logs - #62224, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#62224: 30.0.50: Emacs don't, start sends an erroneous error
Resent-From: Andreas =?UTF-8?Q?R=C3=B6hler?= <andreas.roehler@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 16 Mar 2023 18:09:02 +0000
Resent-Message-ID: <handler.62224.B.167899013730741 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 62224 <at> debbugs.gnu.org
Message-ID: <628707db-561e-334d-dd98-38a56fa39586@HIDDEN>
Date: Thu, 16 Mar 2023 19:08:49 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.8.0
Content-Language: en-US
From: Andreas =?UTF-8?Q?R=C3=B6hler?= <andreas.roehler@HIDDEN>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
UI-OutboundReport: notjunk:1;M01:P0:jtNo9wQwImo=;M0btWyIb60ZgVE9jBVuv4JqDtyj
 ppyGnCuWXYKA3cHMF+TFGk/CXE44OIbvrPKdblVzr6e5qTDoX3BiH8rWIrYWjI7qEqfHJY3sR
 mO8EJibj+rmiDBqR2g+5nSa7hfTPr35si2OMTZxlry9sujklGXt5qSx0FyCVQrwpmLuFWBypb
 Ad2zmeglKr38VMv4K/CWZagU5N5UcBClPxVakELZw6dhryM4yAYIT6oY2z/yYFvdGJYeGHWGo
 Ap4wol4XMlFDQ16tl2bFhl/h958bzm/HaUTmayLPYqNEU96NqXyW0IWda5tjZ/vWYrCfqruoL
 nPpZz3FIqS/Y0a8u6MQzKinxFZVrrBibRqaYQCmAV5/UPwpDTQh1HxqLXJnsJqU4xc/UhAaMT
 XxNJTJOOw205Ug3HJPjaPbxM8O9RhVY3MMSrbLx50PnLrGuL6i4SJIFAXJdZN1jZzuZa0esle
 q7rUpG7NkRIzEd0fwiv9TYMVmWVbIMmhGbGjeSx+FqJ+gSz+M0Hb4FEUppQNaTh5tYZ/U/6G1
 sEtN3Dn0aUgZU6T4M42Ux914+4CR7d1gXljefpRXIhlO47BgGyAXwyQCuIZRE8jdcHj1Evw0a
 NxeIfqOX8Snl9F/Uimhd0JFsFoLSMBIDyjuy4pB7++mIf1NNPb7+DA7IIcyoUZf2WOElz7BoV
 MazXreoc23P8NDi26ZSjBOVTrTw15V9380MXiK8QWA==
Received-SPF: none client-ip=217.72.192.73;
 envelope-from=andreas.roehler@HIDDEN; helo=mout.kundenserver.de
X-Spam_score_int: -18
X-Spam_score: -1.9
X-Spam_bar: -
X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001,
 RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001,
 SPF_NONE=0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -2.3 (--)
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: -3.3 (---)

Emacs don't start sending an erroneous error, backtrace at the end of 
this report.

Error points to the docstring of the function below, notably at the 
escaped ‘x’:

---
(defun lean-input-compose (f g)
   "\x -> concatMap F (G x)"
   (lexical-let ((f1 f) (g1 g))
     (lambda (x) (lean-input-concat-map f1 (funcall g1 x)))))
---

Debugger entered--Lisp error: (error "Invalid escape character syntax")
   read(#<buffer  *load*-183932>)
   eval-buffer(#<buffer  *load*-183932> nil 
"/home/my-name/.emacs.d/straight/build/lean-mode/lean..." nil t) ; 
Reading at buffer position 2036
load-with-code-conversion("/home/my-name/.emacs.d/straight/build/lean-mode/lean..." 
"/home/my-name/.emacs.d/straight/build/lean-mode/lean-input.el" nil t)
   require(lean-input)
   eval-buffer(#<buffer  *load*-311253> nil 
"/home/my-name/.emacs.d/straight/build/lean-mode/lean..." nil t) ; 
Reading at buffer position 1185
load-with-code-conversion("/home/my-name/.emacs.d/straight/build/lean-mode/lean..." 
"/home/my-name/.emacs.d/straight/build/lean-mode/lean..." nil t)
   require(lean-mode)
   eval-buffer(#<buffer  *load*-80552> nil "/home/my-name/.gnu-emacs25" 
nil t)  ; Reading at buffer position 10520
   load-with-code-conversion("/home/my-name/.gnu-emacs25" 
"/home/my-name/.gnu-emacs25" nil nil)
   load("/home/my-name/.gnu-emacs25")
   (cond ((string-match "^23" emacs-version) (setq custom-file 
(expand-file-name "~/.gnu-emacs23-cvs-custom")) (load (expand-file-name 
"~/.gnu-emacs23-all-cvs"))) ((string-match "^24" emacs-version) (setq 
custom-file (expand-file-name "~/.gnu-emacs24-custom")) (load 
(expand-file-name "~/.gnu-emacs24"))) (t (setq custom-file 
(expand-file-name "~/.gnu-emacs25-custom")) (load (expand-file-name 
"~/.gnu-emacs25"))))
   eval-buffer(#<buffer  *load*> nil "/home/my-name/.emacs" nil t)  ; 
Reading at buffer position 840
   load-with-code-conversion("/home/my-name/.emacs" 
"/home/my-name/.emacs" t t)
   load("~/.emacs" noerror nomessage)
   startup--load-user-init-file(#f(compiled-function () #<bytecode 
-0x19c7dbe75dab1fbb>) #f(compiled-function () #<bytecode 
-0x1f3c61addc0bc175>) t)
   command-line()
   normal-top-level()


GNU Emacs 30.0.50 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.33, 
cairo version 1.16.0) of 2023-03-16

Message sent:

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: Andreas =?UTF-8?Q?R=C3=B6hler?= <andreas.roehler@HIDDEN>
Subject: bug#62224: Acknowledgement (30.0.50: Emacs don't, start sends an
 erroneous error)
Message-ID: <handler.62224.B.167899013730741.ack <at> debbugs.gnu.org>
References: <628707db-561e-334d-dd98-38a56fa39586@HIDDEN>
X-Gnu-PR-Message: ack 62224
X-Gnu-PR-Package: emacs
Reply-To: 62224 <at> debbugs.gnu.org
Date: Thu, 16 Mar 2023 18:09: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 62224 <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
62224: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D62224
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#62224: 30.0.50: Emacs don't, start sends an erroneous error
Resent-From: Jim Porter <jporterbugs@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 16 Mar 2023 18:46:01 +0000
Resent-Message-ID: <handler.62224.B62224.16789923501913 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Andreas =?UTF-8?Q?R=C3=B6hler?= <andreas.roehler@HIDDEN>, 62224 <at> debbugs.gnu.org
Message-ID: <cc750f76-aba5-76d8-f913-a87a1c0a8457@HIDDEN>
Date: Thu, 16 Mar 2023 11:45:40 -0700
MIME-Version: 1.0
Content-Language: en-US
References: <628707db-561e-334d-dd98-38a56fa39586@HIDDEN>
From: Jim Porter <jporterbugs@HIDDEN>
In-Reply-To: <628707db-561e-334d-dd98-38a56fa39586@HIDDEN>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

On 3/16/2023 11:08 AM, Andreas Röhler wrote:
> Emacs don't start sending an erroneous error, backtrace at the end of 
> this report.
> 
> Error points to the docstring of the function below, notably at the 
> escaped ‘x’:
> 
> ---
> (defun lean-input-compose (f g)
>    "\x -> concatMap F (G x)"
>    (lexical-let ((f1 f) (g1 g))
>      (lambda (x) (lean-input-concat-map f1 (funcall g1 x)))))
> ---

In Emacs Lisp, "\x" is the start of a hexadecimal character escape, like 
"\x41" for "A". In Emacs 29, just a plain "\x" was treated as NUL, but 
in Emacs 30, this is now a syntax error. I think that makes sense, since 
it helps catch likely mistakes such as this one.

That said, I think *technically* the manual says that "\x" is allowed:

> You can use any number of hex digits, so you can represent any
> character code in this way.

Zero is a number, after all. :) Maybe the manual needs an update to be 
more-precise here?

Ultimately, I think this is a bug in lean-mode though. I don't know 
anything about Lean in particular, but I think the docstring above is 
trying to use the backslash literally, rather than as an escape introducer.

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#62224: 30.0.50: Emacs don't, start sends an erroneous error
Resent-From: Eli Zaretskii <eliz@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 16 Mar 2023 20:08:01 +0000
Resent-Message-ID: <handler.62224.B62224.167899727210140 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Jim Porter <jporterbugs@HIDDEN>
Cc: andreas.roehler@HIDDEN, 62224 <at> debbugs.gnu.org
Date: Thu, 16 Mar 2023 22:07:26 +0200
Message-Id: <83wn3gpiip.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
In-Reply-To: <cc750f76-aba5-76d8-f913-a87a1c0a8457@HIDDEN> (message from
 Jim Porter on Thu, 16 Mar 2023 11:45:40 -0700)
References: <628707db-561e-334d-dd98-38a56fa39586@HIDDEN>
 <cc750f76-aba5-76d8-f913-a87a1c0a8457@HIDDEN>
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

> Date: Thu, 16 Mar 2023 11:45:40 -0700
> From: Jim Porter <jporterbugs@HIDDEN>
> 
> That said, I think *technically* the manual says that "\x" is allowed:
> 
> > You can use any number of hex digits, so you can represent any
> > character code in this way.
> 
> Zero is a number, after all. :) Maybe the manual needs an update to be 
> more-precise here?

I'd say that'd be a pedantic interpretation of the text, but I've
reworded it to avoid such misinterpretation anyway.

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#62224: 30.0.50: Emacs don't, start sends an erroneous error
Resent-From: Jim Porter <jporterbugs@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 16 Mar 2023 20:32:01 +0000
Resent-Message-ID: <handler.62224.B62224.167899870412342 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 62224
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Eli Zaretskii <eliz@HIDDEN>
Cc: andreas.roehler@HIDDEN, 62224 <at> debbugs.gnu.org
Received: via spool by 62224-submit <at> debbugs.gnu.org id=B62224.167899870412342
          (code B ref 62224); Thu, 16 Mar 2023 20:32:01 +0000
Received: (at 62224) by debbugs.gnu.org; 16 Mar 2023 20:31:44 +0000
Received: from localhost ([127.0.0.1]:43163 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1pcuGF-0003D0-UK
	for submit <at> debbugs.gnu.org; Thu, 16 Mar 2023 16:31:44 -0400
Received: from mail-pj1-f52.google.com ([209.85.216.52]:40732)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <jporterbugs@HIDDEN>) id 1pcuGE-0003Cm-CM
 for 62224 <at> debbugs.gnu.org; Thu, 16 Mar 2023 16:31:42 -0400
Received: by mail-pj1-f52.google.com with SMTP id
 j3-20020a17090adc8300b0023d09aea4a6so6691242pjv.5
 for <62224 <at> debbugs.gnu.org>; Thu, 16 Mar 2023 13:31:42 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20210112; t=1678998696;
 h=content-transfer-encoding:in-reply-to:from:content-language
 :references:cc:to:subject:mime-version:date:message-id:from:to:cc
 :subject:date:message-id:reply-to;
 bh=DgGrvsLXUhFHjrAwFVtWK3nZqr20pkBm72GuDOvwgio=;
 b=aFUgzf0fh1UhXh7uMBEh8TO1tNVap8u18VNxzfWat72oh+88VlKKudjw91Yk7aVLyg
 pIj0ZU2Jdapfxzfpdqkv4Gr1fMZZEuBeMWdv3Jl4yF86RIjF6CfZ4bo5RRgfbO31SKeF
 Bda7u6rjEfPWJu/NbdsziqzXP1lgtdLufX8lafgnVSnxMmiuazx2P0t9TMBjC4JLnt31
 vk4RclVD3c2xD1OU9AK6D0iQcP8WOfGcVnxvUdWccqDhAnS7hyLYi52oNVBd51O0Havn
 nP4AxkUj/RRhc1bN7TVVlUxKGUL07vZEuEUztC8UMxLT6GbCb+rJ5KeI9acXRZ34UHHi
 ApNQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112; t=1678998696;
 h=content-transfer-encoding:in-reply-to:from:content-language
 :references:cc:to:subject:mime-version:date:message-id
 :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=DgGrvsLXUhFHjrAwFVtWK3nZqr20pkBm72GuDOvwgio=;
 b=oll9iz6OALEcuTPC0CCvpNP31CXxS0Mkov/19YPLrwfpCl50nad/4dmJ81/ICzINLr
 G3ULJsNYWU6nm/MpYLv9Gboy2QfRPjQZcqBlfx0bnznbXJMPg7xRges600pOsZgav8jn
 2V+H2NtO4NXWUTgwhRsYE98Ayxq/wybxuvZcdNpQ6Mj/jcepfPsl81nfnrF1GuaZCyGy
 zAAXdfpY1rd4PMQEdJcGMJmmtkqExEd+SM8qhOVB9HU9QKgiAkLw7X7IqCQtGR3Dun9k
 CWOnZ0n7xJnFKEM3O3PzuXbPcPchrapStY692WrHRceuUGHL+iUsBsrK/nWtc88lH+bu
 zvvQ==
X-Gm-Message-State: AO0yUKUM9DK4tMVDY4Iui124HkkgH98eHaOxNFtOQ5ut0Z18xgJstYt4
 MDXgGMdL1sZCx1gQ2ZxWozA=
X-Google-Smtp-Source: AK7set+lpyew00wolc6dQCJu3EILCQXXPr9Q0+OgKG5EbjjVFS0KF5+Or5mJ367D3nsdXKuQtNQstg==
X-Received: by 2002:a17:902:d508:b0:19e:b2ed:6fe1 with SMTP id
 b8-20020a170902d50800b0019eb2ed6fe1mr5779946plg.11.1678998696101; 
 Thu, 16 Mar 2023 13:31:36 -0700 (PDT)
Received: from [192.168.1.2] (cpe-76-168-148-233.socal.res.rr.com.
 [76.168.148.233]) by smtp.googlemail.com with ESMTPSA id
 h13-20020a170902f7cd00b0019d1f42b00csm131500plw.17.2023.03.16.13.31.35
 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
 Thu, 16 Mar 2023 13:31:35 -0700 (PDT)
Message-ID: <82ddd844-3acb-cffb-96bb-ea2af53b00e9@HIDDEN>
Date: Thu, 16 Mar 2023 13:31:34 -0700
MIME-Version: 1.0
References: <628707db-561e-334d-dd98-38a56fa39586@HIDDEN>
 <cc750f76-aba5-76d8-f913-a87a1c0a8457@HIDDEN> <83wn3gpiip.fsf@HIDDEN>
Content-Language: en-US
From: Jim Porter <jporterbugs@HIDDEN>
In-Reply-To: <83wn3gpiip.fsf@HIDDEN>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0.0 (/)
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: -1.0 (-)

On 3/16/2023 1:07 PM, Eli Zaretskii wrote:
>> Date: Thu, 16 Mar 2023 11:45:40 -0700
>> From: Jim Porter <jporterbugs@HIDDEN>
>>
>> That said, I think *technically* the manual says that "\x" is allowed:
>>
>>> You can use any number of hex digits, so you can represent any
>>> character code in this way.
>>
>> Zero is a number, after all. :) Maybe the manual needs an update to be
>> more-precise here?
> 
> I'd say that'd be a pedantic interpretation of the text, but I've
> reworded it to avoid such misinterpretation anyway.

Oh, it's very pedantic, I agree. I'm not sure anyone would have 
misinterpreted that text in practice, but I think this makes it 100% 
clear what syntax is acceptable. Thanks for the fix.

Last modified: Thu, 16 Mar 2023 20:45:01 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.