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#67455: (Record source position, etc., in doc strings, and use this in *Help* and backtraces.) Date: Mon, 08 Apr 2024 08:00:34 -0400 Message-ID: References: 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="30533"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , 67455@debbugs.gnu.org To: Alan Mackenzie Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Apr 08 14:01:24 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 1rtngh-0007k5-IL for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 08 Apr 2024 14:01:23 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rtngL-0004Fk-L0; Mon, 08 Apr 2024 08:01:01 -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 1rtngH-0004Ec-Ty for bug-gnu-emacs@gnu.org; Mon, 08 Apr 2024 08:00:57 -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 1rtngH-0002yJ-D2 for bug-gnu-emacs@gnu.org; Mon, 08 Apr 2024 08:00:57 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rtngO-0008E8-Fj for bug-gnu-emacs@gnu.org; Mon, 08 Apr 2024 08:01:04 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 08 Apr 2024 12:01:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 67455 X-GNU-PR-Package: emacs Original-Received: via spool by 67455-submit@debbugs.gnu.org id=B67455.171257765431542 (code B ref 67455); Mon, 08 Apr 2024 12:01:04 +0000 Original-Received: (at 67455) by debbugs.gnu.org; 8 Apr 2024 12:00:54 +0000 Original-Received: from localhost ([127.0.0.1]:45470 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rtngE-0008Cg-Gv for submit@debbugs.gnu.org; Mon, 08 Apr 2024 08:00:54 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:49022) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rtng9-0008Bs-IK for 67455@debbugs.gnu.org; Mon, 08 Apr 2024 08:00:53 -0400 Original-Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 87ED280DB3; Mon, 8 Apr 2024 08:00:36 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1712577635; bh=ZqlJHyvdnF94obZeZkmQWkXHnPFV4UgS2xwNtCo9kHY=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=NXQ6V05t96TToRvci5lIIyg7K1c0SFVCaML9Xds0gYNS175EN0r2LJX2ESGrJv5DB J9MAxjNDMuRBQNLQaxiW04HtKmPSrEDtXLISM7RyqRrcVyXzpAzo3IcNE8LfObZd/Y zxyIg0EKQFbZsYKNLIJZWj5I+aaDL4PUaq58ZDcUhOUk1IdXUAQZ1I1XCVhzjmUEo5 lI307Mrg2V8kevp+33xHwy8vnCNpst4IDRCAv8fn9S6bPzKF+7a68uwQSLohxkCTSg 5eJNmZ4P949DfxE2pw9Jy6Bai/iq/1im/JSAC4CNtwHxVk7w+7cWbRQqiQtNr6LeZD CBjdIRFFHM2Dg== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 9A66D80BDD; Mon, 8 Apr 2024 08:00:35 -0400 (EDT) Original-Received: from pastel (unknown [45.72.201.215]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 711A812020E; Mon, 8 Apr 2024 08:00:35 -0400 (EDT) In-Reply-To: (Alan Mackenzie's message of "Mon, 8 Apr 2024 08:32:57 +0000") 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:282931 Archived-At: >> How? `macroexp--expand-all` will not be passed this `lambda` because >> it's not an *expression*. > Well, when I commented out that pcase arm, the lambda no longer got > stripped. I'm not sure what you mean by expression. In Edebug specs we call it `form`. The ((x 3) (y 4)) in a `let` is not an expression, for example. (4 . 5) could appear in a piece of code in the position where we expect an expression but it is not a valid expression (it will result in a syntax error at compile- or run-time). The grammar of ELisp is made of various elements, one of which would traditionally be called "expressions". If we could specify it in EBNF it could look something like the following: ::= "(" * [ "&optional" * [ "&rest" ]] ")" ::= "(" * ")" ::= | "(" ")" ::= | "(" "lambda" * ")" ... ::= | "(" * ")" | "(" "quote" ")" | "(" "let" * ")" | "(" "function" ")" | ... Only the parts go through `macroexp--expand-all`. Stefan