Received: (at 62224) by debbugs.gnu.org; 16 Mar 2023 20:31:44 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Mar 16 16:31:44 2023 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 Subject: Re: bug#62224: 30.0.50: Emacs don't, start sends an erroneous error To: Eli Zaretskii <eliz@HIDDEN> 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-Debbugs-Envelope-To: 62224 Cc: andreas.roehler@HIDDEN, 62224 <at> debbugs.gnu.org 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.
bug-gnu-emacs@HIDDEN:bug#62224; Package emacs.
Full text available.Received: (at 62224) by debbugs.gnu.org; 16 Mar 2023 20:07:52 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Mar 16 16:07:52 2023 Received: from localhost ([127.0.0.1]:43142 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pcttA-0002dT-Gd for submit <at> debbugs.gnu.org; Thu, 16 Mar 2023 16:07:52 -0400 Received: from eggs.gnu.org ([209.51.188.92]:49360) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <eliz@HIDDEN>) id 1pctt8-0002dG-1T for 62224 <at> debbugs.gnu.org; Thu, 16 Mar 2023 16:07:50 -0400 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 <eliz@HIDDEN>) id 1pctt2-0006Xf-MM; Thu, 16 Mar 2023 16:07:44 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=hoScsBpn2wCHsHQcqHkWOwLNYdTHbr3UmDnPxFgojRw=; b=cdAVEGRI1MkP RltBCCBuNeZBvxlPk5BAi/JaWpqSkMM7LsOg8dIj547EtH1K81+Szn6Rob0RR5LTWixeOqjC4NOR4 0hLe7xwHm70Zpkjc5WpSFTksKssffQVmMPrOAao/Jw83eIndi57838jh6RhRkDKnnQsU5wJK5Wlpg vBxDE/rKdc/+mCkMmTZXoTac9B/ubEU9y4431Yo1p5cwl/oP0Je7aeti/+gXdgmXmHoEyfLmVg2RQ 6Z/2h/UJ7zzOX02dx9maoTiqF4QQrO14cHDTKjGSsLyBWkSha6tT6zXrjgoeBojEPC1IvJD2GBy7B S+NIbYngh7p9m031iJOy3g==; Received: from [87.69.77.57] (helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <eliz@HIDDEN>) id 1pctt2-00065i-1C; Thu, 16 Mar 2023 16:07:44 -0400 Date: Thu, 16 Mar 2023 22:07:26 +0200 Message-Id: <83wn3gpiip.fsf@HIDDEN> From: Eli Zaretskii <eliz@HIDDEN> To: Jim Porter <jporterbugs@HIDDEN> In-Reply-To: <cc750f76-aba5-76d8-f913-a87a1c0a8457@HIDDEN> (message from Jim Porter on Thu, 16 Mar 2023 11:45:40 -0700) Subject: Re: bug#62224: 30.0.50: Emacs don't, start sends an erroneous error References: <628707db-561e-334d-dd98-38a56fa39586@HIDDEN> <cc750f76-aba5-76d8-f913-a87a1c0a8457@HIDDEN> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 62224 Cc: andreas.roehler@HIDDEN, 62224 <at> debbugs.gnu.org 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 (---) > 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.
bug-gnu-emacs@HIDDEN:bug#62224; Package emacs.
Full text available.Received: (at 62224) by debbugs.gnu.org; 16 Mar 2023 18:45:50 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Mar 16 14:45:50 2023 Received: from localhost ([127.0.0.1]:43001 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pcsbm-0000Un-1V for submit <at> debbugs.gnu.org; Thu, 16 Mar 2023 14:45:50 -0400 Received: from mail-pj1-f42.google.com ([209.85.216.42]:35499) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jporterbugs@HIDDEN>) id 1pcsbl-0000Ua-8K for 62224 <at> debbugs.gnu.org; Thu, 16 Mar 2023 14:45:49 -0400 Received: by mail-pj1-f42.google.com with SMTP id gp15-20020a17090adf0f00b0023d1bbd9f9eso6409371pjb.0 for <62224 <at> debbugs.gnu.org>; Thu, 16 Mar 2023 11:45:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678992342; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:mime-version:date:message-id:from:to:cc :subject:date:message-id:reply-to; bh=gOg+34kV6Mo13CCz+DplGkbzCJKAiL8AARtNWXslGNQ=; b=ZXtFoIfQwii4dto7EGXqhTSJgtOALOtcIQeA2AEjaWrvmbL/S4t4TpZLqWwirGH8yP Bv+KjF9xP70iKdO9GoTQ54YbgdDGWR9CWZWjwqSYJFAohGI4VzSxIp1GoBZj3631+eRK 6MZn+NIzTWQrpYaFJpuvKUAXipJDdbuI0FLcgzWzY8SQFbKZ3wTcPwaaB0AG6vzZw/+h nOw5jFwlLjzxadmP28Z5TGpSN0cer3tB97TioYMXNxYSwugnNEQ9Gef9M9v8P2G12vTy KO8F3Fq7c/OVzYzmy70NS40wKNwxyaVX0wPHBqsP/SBbDvLYIG2B0aycapl44Sg5/XEM P9Lw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678992342; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=gOg+34kV6Mo13CCz+DplGkbzCJKAiL8AARtNWXslGNQ=; b=OV/MckCg9V1/sfOXqTFTQm0aCb3tnUc5RVKbu5sI3IkYBSR7O339KyMiAHjNRE2UhY Kk64v/CyiLTYAA/5C8xsQa5qxbNkoiKteKq7a7w7wq5ZcE7e4XDOGdtDJd9V3FhkoEQv 0efGy5StBXg6WowAikrcAh0dV/rj97ZlaRYJ1P4tnHYCKvraRDjMmIw4zaapsE+FJ9kH qxM/Fqx8LbQKZH3PTzTiqDoPX52Q8tdBweOY2n3U2H1s+2qWTiSQHDtIBDzFDxGrunfu YxJrVoiwq7ncmhPGqPZwck4JmLrRWAPd4OomBIHidu5Nz++CHOL8gr/PaaR4cLOPHzsj uepw== X-Gm-Message-State: AO0yUKXUogu9NX9fm6EUtVjC7pCRwIm1fxMgVdwaraXCGrj1we0KTZDv MzZhDEWVSNIr/YwKMNMCVuxlLOomWXE= X-Google-Smtp-Source: AK7set9ND9DHjWFmaTHW7HsWB7n3HmgEZTSay5eMko9jTKZ1z49lRq8BADfQUXcd0rGS6zhdshb4vQ== X-Received: by 2002:a17:902:c952:b0:1a1:465b:2d20 with SMTP id i18-20020a170902c95200b001a1465b2d20mr4957222pla.2.1678992342074; Thu, 16 Mar 2023 11:45:42 -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 iy10-20020a170903130a00b0019309be03e7sm49166plb.66.2023.03.16.11.45.41 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 16 Mar 2023 11:45:41 -0700 (PDT) Message-ID: <cc750f76-aba5-76d8-f913-a87a1c0a8457@HIDDEN> Date: Thu, 16 Mar 2023 11:45:40 -0700 MIME-Version: 1.0 Subject: Re: bug#62224: 30.0.50: Emacs don't, start sends an erroneous error Content-Language: en-US To: =?UTF-8?Q?Andreas_R=c3=b6hler?= <andreas.roehler@HIDDEN>, 62224 <at> debbugs.gnu.org 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 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 62224 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 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.
bug-gnu-emacs@HIDDEN:bug#62224; Package emacs.
Full text available.
Received: (at submit) by debbugs.gnu.org; 16 Mar 2023 18:08:57 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Mar 16 14:08:56 2023
Received: from localhost ([127.0.0.1]:42904 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1pcs24-0007zl-Ih
for submit <at> debbugs.gnu.org; Thu, 16 Mar 2023 14:08:56 -0400
Received: from lists.gnu.org ([209.51.188.17]:39556)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <andreas.roehler@HIDDEN>) id 1pcs22-0007zd-JD
for submit <at> debbugs.gnu.org; Thu, 16 Mar 2023 14:08:54 -0400
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 <andreas.roehler@HIDDEN>)
id 1pcs22-0000bv-9N
for bug-gnu-emacs@HIDDEN; Thu, 16 Mar 2023 14:08:54 -0400
Received: from mout.kundenserver.de ([217.72.192.73])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <andreas.roehler@HIDDEN>)
id 1pcs20-0002cu-GY
for bug-gnu-emacs@HIDDEN; Thu, 16 Mar 2023 14:08:54 -0400
Received: from [192.168.178.61] ([89.247.171.236]) by mrelayeu.kundenserver.de
(mreue106 [212.227.15.183]) with ESMTPSA (Nemesis) id
1MHWzP-1ph0ka3HSz-00DZgR for <bug-gnu-emacs@HIDDEN>; Thu, 16 Mar 2023
19:08:49 +0100
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
To: bug-gnu-emacs@HIDDEN
From: =?UTF-8?Q?Andreas_R=c3=b6hler?= <andreas.roehler@HIDDEN>
Subject: 30.0.50: Emacs don't, start sends an erroneous error
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Provags-ID: V03:K1:/2ccxsevXIkT9GtP2Gdm1jB5VPzwMRnYharHzn0+6Bnzu2EaTUQ
1V6IHsHynMcpdx4WSLE+Dno3ebXbkV5X8lDPJzGDrJEhT77YmgcUFwcYUUuPPlYCtkxwOQ5
k6HYZm0E3DqVTYGi/DuugtHcfjnZWOVEbKQEHgMC+dVUZL6nCfDXHhKTds5pksYBYUqI7pf
dvk1h2dHp/zRuJRPx8N+A==
X-Spam-Flag: NO
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-Debbugs-Envelope-To: submit
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
Andreas Röhler <andreas.roehler@HIDDEN>:bug-gnu-emacs@HIDDEN.
Full text available.bug-gnu-emacs@HIDDEN:bug#62224; Package emacs.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.