From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#23648: [PATCH] `defun-declarations-alist' can be unintentionally modified Date: Thu, 21 Jul 2016 17:22:59 +0300 Message-ID: <83d1m7yssc.fsf@gnu.org> References: <87twfnd50u.fsf@users.sourceforge.net> <83wpkj10eg.fsf@gnu.org> <83k2gi24nz.fsf@gnu.org> <83inw2227y.fsf@gnu.org> <87r3aqbppk.fsf@web.de> <83d1ma1hai.fsf@gnu.org> <87a8hbdcfd.fsf@users.sourceforge.net> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1469111071 9124 80.91.229.3 (21 Jul 2016 14:24:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 21 Jul 2016 14:24:31 +0000 (UTC) Cc: michael_heerdegen@web.de, 23648@debbugs.gnu.org, pogonyshev@gmail.com To: npostavs@users.sourceforge.net Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Jul 21 16:24:20 2016 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bQEtc-0004ue-AT for geb-bug-gnu-emacs@m.gmane.org; Thu, 21 Jul 2016 16:24:16 +0200 Original-Received: from localhost ([::1]:41124 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQEtb-0005uv-HN for geb-bug-gnu-emacs@m.gmane.org; Thu, 21 Jul 2016 10:24:15 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36807) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQEtS-0005t2-RH for bug-gnu-emacs@gnu.org; Thu, 21 Jul 2016 10:24:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bQEtO-0001b7-DD for bug-gnu-emacs@gnu.org; Thu, 21 Jul 2016 10:24:05 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:48204) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQEtO-0001b3-9S for bug-gnu-emacs@gnu.org; Thu, 21 Jul 2016 10:24:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bQEtO-0000Ej-5E for bug-gnu-emacs@gnu.org; Thu, 21 Jul 2016 10:24:02 -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, 21 Jul 2016 14:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 23648 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 23648-submit@debbugs.gnu.org id=B23648.1469110997852 (code B ref 23648); Thu, 21 Jul 2016 14:24:02 +0000 Original-Received: (at 23648) by debbugs.gnu.org; 21 Jul 2016 14:23:17 +0000 Original-Received: from localhost ([127.0.0.1]:60541 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bQEsb-0000Dc-EA for submit@debbugs.gnu.org; Thu, 21 Jul 2016 10:23:17 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:45467) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bQEsV-0000DJ-G2 for 23648@debbugs.gnu.org; Thu, 21 Jul 2016 10:23:11 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bQEsM-0001Rs-Cu for 23648@debbugs.gnu.org; Thu, 21 Jul 2016 10:23:02 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:49293) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQEsI-0001Q7-IB; Thu, 21 Jul 2016 10:22:54 -0400 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:4913 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1bQEsG-0006ZG-Hn; Thu, 21 Jul 2016 10:22:52 -0400 In-reply-to: <87a8hbdcfd.fsf@users.sourceforge.net> (npostavs@users.sourceforge.net) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 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.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:121383 Archived-At: > From: npostavs@users.sourceforge.net > Cc: Michael Heerdegen , 23648@debbugs.gnu.org, pogonyshev@gmail.com > Date: Wed, 20 Jul 2016 21:09:42 -0400 > > > Thanks, but I'm still none the wiser about the questions I asked. > > Hmm, maybe it will be clearer like this: > > Evaluate: > > (macroexpand '(defun foo () > (declare (indent 1)) > nil)) ;=> (prog1 (defalias (quote foo) (function (lambda nil > nil))) (function-put (quote foo) (quote lisp-indent-function) (quote 1))) > > This gives the correct result (the (function-put...) part comes from the > (declare (indent 1))). > > Now perform a completion on a declare clause, e.g., put cursor after > "ind" and hit C-M-i: (declare (ind)) completes to (declare (indent)). > > Now evaluate the same expression as before: > > (macroexpand '(defun foo () > (declare (indent 1)) > nil)) ;=> (prog1 (defalias (quote foo) (function (lambda nil > nil))) "Warning: Unknown defun property ‘indent’ in foo") > > This give the wrong result, the (declare (indent 1)) is giving the > "Warning:...". Emacs has unlearned the indent declaration. In fact it > unlearned all the declarations for defun except for gv-setter, you can > see this by looking at defun-declarations-alist's value. Thanks, but I think we are mis-communicating. What I need is not a demonstration of the bug in action; I already got that. What I asked for is different: > How probable is the situation where this problem pops up? And when > was the bug introduced? You already answered the second question. For the first, I expected to see something done frequently by either users or Lisp programs, which bumps into this bug. Evaluating macroexpand, twice, with completion in-between, doesn't qualify in my book as a frequent user action, I hope you will agree (even if you personally happen to use it quite a lot). So I'm still looking for the answer to the "how probable" question. I need that to make up my mind about the urgency of the fix. Thanks.