From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#74870: cl-labels and cl-flet don't create named blocks Date: Mon, 16 Dec 2024 22:23:24 -0500 Message-ID: References: <86bjxetdbp.fsf@gnu.org> Reply-To: Stefan Monnier Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22937"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: 74870@debbugs.gnu.org, Jan Jouleodov To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Dec 17 04:50:22 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 1tNObF-0005pd-Lb for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 17 Dec 2024 04:50:22 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tNOb2-0001Dz-7J; Mon, 16 Dec 2024 22:50:08 -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 1tNOax-0001DA-0v for bug-gnu-emacs@gnu.org; Mon, 16 Dec 2024 22:50:03 -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 1tNOaw-0003Tl-IA for bug-gnu-emacs@gnu.org; Mon, 16 Dec 2024 22:50:02 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=IhEGdCuVAjb+psRgQG9DuhrWTEfFx7Qm5tskwRw6T7A=; b=tGsxfXuz+ojm2AFeE4XuDDEy1R4jxzcEBeqteyn8A3ErCXDi9985M6SDjJZ55Fs00uawSU223N25QHKVPk/uKa0jlViRi4+YuJPx6ZAS5UZsL2FHFmAiX7EK9HfUpO1MbHY6Zdkbu6kr1mfhHmVEqdipaQWakWVFn5ZdInsLXodYeFrmHJPD8v17PU5m2wvm2MuV+UNE5An+CyYyVf+shwz8kQ6W4oaujprFUG+ktZTjGjTxCZB/Y3QvqhfbWTZNcjK6nuEFHttQHUsmlblFTgbwqlZohDF4ucBJWevxRcRXTFk/omrFrVCD34hLeaWhYO7UbityUWkFeO8VTArbNQ==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tNOBm-00043n-AL for bug-gnu-emacs@gnu.org; Mon, 16 Dec 2024 22:24:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 17 Dec 2024 03:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 74870 X-GNU-PR-Package: emacs Original-Received: via spool by 74870-submit@debbugs.gnu.org id=B74870.173440582515580 (code B ref 74870); Tue, 17 Dec 2024 03:24:02 +0000 Original-Received: (at 74870) by debbugs.gnu.org; 17 Dec 2024 03:23:45 +0000 Original-Received: from localhost ([127.0.0.1]:57031 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNOBR-00043A-Jl for submit@debbugs.gnu.org; Mon, 16 Dec 2024 22:23:44 -0500 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:6871) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNOBP-00042v-Gg for 74870@debbugs.gnu.org; Mon, 16 Dec 2024 22:23:40 -0500 Original-Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 510E344349A; Mon, 16 Dec 2024 22:23:26 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1734405805; bh=OWZP/rhAM6JljC1qUx3JCqIhPxBgm8BT6ucWWtWeEPw=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=Yq8Y1w0ohyYiSDcSszAmcrE0o/D4IuuN5cKqbtARWki7eDjie4Xbu5ViyfazPZ7/V l1tfK/cZSP+veK2mIK1SVyjySvXaIKjztq5T96eCPkds5KlTL1XNRsEL7uFaYwhBC9 87p6fkcyVqHbMnnWgYtlouXSShDVhgPEFaq+g1C5dUDXMd5w0BjZhvswDsK5AIb1x9 OMwFyH+WSLkJR/ATHLqvCjJ3D+AhM3s00Wc/Aw/690ctxoCINq+AJD+kfhlrfiBv3C qk6keZn8DpYI2mImH7egfD/DWluAjXeylxOS/9ZXM43tt5rEqLUtGD2ZKYsCgvGLUg UJhK40V6FqRbw== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 2FA80440CCB; Mon, 16 Dec 2024 22:23:25 -0500 (EST) Original-Received: from pastel (104-195-225-43.cpe.teksavvy.com [104.195.225.43]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id F3CC512021A; Mon, 16 Dec 2024 22:23:24 -0500 (EST) In-Reply-To: <86bjxetdbp.fsf@gnu.org> (Eli Zaretskii's message of "Sat, 14 Dec 2024 18:54:34 +0200") 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:297250 Archived-At: >> In ANSI CL, these should create a named CL:BLOCK, allowing one to do a local return via >> CL:RETURN-FROM. In Emacs, this is not the case, resulting in an uncaught exception. > I'm guessing this is a documentation bug, in that this particular > aspect of CL is not emulated by cl-labels. > Stefan, am I right? Could be. Or it could be an oversight, maybe dating back to many many years ago, and that nobody noticed until now. Whichever was the original reason, now we get to decide whether we keep the behavior or not. Following Common Lisp's lead should not introduce any backward compatibility issue, all it would cost us is a slightly more costly macroexpansion for those macros. Stefan