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#66991: Confusion in interactive-form with commands with bare interactive forms. Date: Wed, 08 Nov 2023 07:29:10 -0500 Message-ID: References: <83wmut1pb1.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="8923"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , 66991@debbugs.gnu.org To: Alan Mackenzie Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Wed Nov 08 13:29:46 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 1r0hgo-0002AP-Cw for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 08 Nov 2023 13:29:46 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r0hgV-0000Kh-EL; Wed, 08 Nov 2023 07:29:27 -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 1r0hgT-0000KZ-VP for bug-gnu-emacs@gnu.org; Wed, 08 Nov 2023 07:29:26 -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 1r0hgS-00061u-KJ for bug-gnu-emacs@gnu.org; Wed, 08 Nov 2023 07:29:25 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r0hh5-0002Ix-1h for bug-gnu-emacs@gnu.org; Wed, 08 Nov 2023 07:30:03 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 08 Nov 2023 12:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66991 X-GNU-PR-Package: emacs Original-Received: via spool by 66991-submit@debbugs.gnu.org id=B66991.16994466008830 (code B ref 66991); Wed, 08 Nov 2023 12:30:02 +0000 Original-Received: (at 66991) by debbugs.gnu.org; 8 Nov 2023 12:30:00 +0000 Original-Received: from localhost ([127.0.0.1]:44156 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r0hh2-0002IM-GX for submit@debbugs.gnu.org; Wed, 08 Nov 2023 07:30:00 -0500 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:38230) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r0hgy-0002I5-Ms for 66991@debbugs.gnu.org; Wed, 08 Nov 2023 07:29:59 -0500 Original-Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 70CF4806F7; Wed, 8 Nov 2023 07:29:12 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1699446551; bh=ViZhMwYk9V01vw+Au0xPU5WFpDurkxUY73HaCLBfKS8=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=TkAllSzwcEDzFoXwJtuEqEkmM76tSbE9IpiNbOLy1QNoCFVQ/3yd7ezcgizuNhJ+r tPNuESU0HXapxC9LGSti9C4bwowjsGOX+qruXiUTeWhP8jKNWe8jAGgv3Swoy47yJ4 xLLa4pdHMxYMKKFZ27dHFrSUHnWnbO8AYEIu5OgHaBF7AeU551CkRq91S124Df6cjZ W8Sp+Q0mIrILkHFYLV6tZvX4ps9jvYBJ86alDyOQT9wjysgCmWJ4J2Wq+7Kx5WMioP TeH67HnskQHaoWnWKCggtiroozv+YlJpBnRgxmqP1KgPgy17LYWRrB7deUrNUPlUDe MLZORy0nxcJ3Q== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id A602B8025F; Wed, 8 Nov 2023 07:29:11 -0500 (EST) Original-Received: from pastel (unknown [45.72.227.120]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 7D59C12031F; Wed, 8 Nov 2023 07:29:11 -0500 (EST) In-Reply-To: (Alan Mackenzie's message of "Wed, 8 Nov 2023 08:56:42 +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:273979 Archived-At: > What about replacing (interactive "") with (interactive) too, and > documenting this? Why? > The doc string says that "Return the interactive form of CMD, or nil > ....". But you seem to be arguing that there is no unique _THE_ > interactive form. The interactive form is either a string or code. When it's a string, I expect you get the one and only `(interactive THE-STRING)`, but when it's not a string ... well ... by definition the compiler changes the representation of code so it's completely expected that you won't get necessarily quite the same code (as long as its execution is equivalent). > The doc string doesn't make this clear, and needs amending anyway. Maybe, but I don't understand why you think it's necessary. > To fix only the doc string rather than the code too, would double the > doc string's size. And this suggests we should also document `symbol-function` to say that it may not return something identical to what you wrote in the source code. Stefan