From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#65344: 28.2; Unable to Edebug cl-flet form which uses argument destructuring Date: Thu, 17 Aug 2023 18:56:29 +0300 Message-ID: <838ra964sy.fsf@gnu.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="13245"; mail-complaints-to="usenet@ciao.gmane.io" Cc: gerd.moellmann@gmail.com, 65344@debbugs.gnu.org To: Brandon Irizarry Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Aug 17 17:57:23 2023 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 1qWfND-0003Ct-MI for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 17 Aug 2023 17:57:23 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qWfMw-0006by-55; Thu, 17 Aug 2023 11:57:06 -0400 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 1qWfMs-0006a8-1H for bug-gnu-emacs@gnu.org; Thu, 17 Aug 2023 11:57:02 -0400 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 1qWfMr-0003Ul-N8 for bug-gnu-emacs@gnu.org; Thu, 17 Aug 2023 11:57:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qWfMr-00023l-IE for bug-gnu-emacs@gnu.org; Thu, 17 Aug 2023 11:57:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 17 Aug 2023 15:57:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65344 X-GNU-PR-Package: emacs Original-Received: via spool by 65344-submit@debbugs.gnu.org id=B65344.16922877897878 (code B ref 65344); Thu, 17 Aug 2023 15:57:01 +0000 Original-Received: (at 65344) by debbugs.gnu.org; 17 Aug 2023 15:56:29 +0000 Original-Received: from localhost ([127.0.0.1]:45393 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qWfML-000230-5i for submit@debbugs.gnu.org; Thu, 17 Aug 2023 11:56:29 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45172) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qWfMJ-00022m-Ov for 65344@debbugs.gnu.org; Thu, 17 Aug 2023 11:56:28 -0400 Original-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 ) id 1qWfME-0002vP-6w; Thu, 17 Aug 2023 11:56:22 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From: Date; bh=g9HFXax6NdxS+0l0O927QdKBz+1COdnT7sBHszIWifA=; b=kx367w1BD4WgcM44ppUt ZLHhoQzgATj8koPUI3RqbFHxF/FEEF+YNHuOthpGehmcNQ/NiphuFJfrw1PEPGuCBkqkLUPPfODek gWGaaz5HRd0MxRcBAVonP6/s89Wi10/E1H2+otYfYywRReo6WCA+w2OgO4EsfaNkMZXAGQffYrQUo 8TVJ4nxzxBRa8QS+WzvLsOpnanynNhErK6KnG5oSw85ydchXUsuort6k1feEjkiONBJIVcJTD3ZCj fyMmvwrn8c/dap+8HYsxMirPbVnLEpZcoOHamqBIRASgjUa4KhY08SFwMcqHl2x2aI2gSVXc6FGur cKRjXRWtDBzTCw==; In-Reply-To: (message from Brandon Irizarry on Thu, 17 Aug 2023 11:42:06 -0400) 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:267675 Archived-At: > Cc: 65344@debbugs.gnu.org > From: Brandon Irizarry > Date: Thu, 17 Aug 2023 11:42:06 -0400 > > Destructured lambda-lists appear to be an Elisp extension to Common Lisp's argument notation, > and the Emacs docs do mention them (though not in the Elisp manual; rather, it's in the CL-Lib > manual). > They even mention your point about such a lambda-list not being valid Common Lisp. > > From the CL-Lib manual, 4.3.2 (Function Bindings): > > Functions defined by ‘cl-flet’ may use the full Common Lisp > argument notation supported by ‘cl-defun’; also, the function body > is enclosed in an implicit block as if by ‘cl-defun’. *Note > Program Structure::. > > Following the reference to Chapter 2, and heading into 2.1 (Argument Lists): > > Argument lists support “destructuring”. In Common Lisp, > destructuring is only allowed with ‘defmacro’; this package allows it > with ‘cl-defun’ and other argument lists as well. You may be right, but please don't rely on the documentation as if it were a Gospel, or assume that it tells you all the truth and nothing but the truth. Our documentation sometimes omits stuff and other times could allow interpretation that is factually incorrect. IOW, not everything the documentation says must be so, and not everything it doesn't say doesn't exist or is false. So when Gerd says he is not sure such lambda-lists are valid, I suggest to trust Gerd more than you trust the docs. The truth is, of course, in the code, so if you find in the code evidence that such forms are supported, that's a definitive conclusion.