From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Drew Adams" Newsgroups: gmane.emacs.bugs Subject: bug#13823: 24.3.50; Elisp manual description of property `pure' Date: Tue, 26 Feb 2013 13:56:16 -0800 Message-ID: <3AF2F1A8C17548BCA8F85106499E18D2@us.oracle.com> References: <7C809B3AAAD746858CBC43BE77242FAA@us.oracle.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1361915849 15633 80.91.229.3 (26 Feb 2013 21:57:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 26 Feb 2013 21:57:29 +0000 (UTC) Cc: 13823@debbugs.gnu.org To: "'Stefan Monnier'" Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Feb 26 22:57:52 2013 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 1UASWw-0007Ro-Di for geb-bug-gnu-emacs@m.gmane.org; Tue, 26 Feb 2013 22:57:46 +0100 Original-Received: from localhost ([::1]:45585 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UASWb-0004A9-ND for geb-bug-gnu-emacs@m.gmane.org; Tue, 26 Feb 2013 16:57:25 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:34347) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UASWU-00049a-Rg for bug-gnu-emacs@gnu.org; Tue, 26 Feb 2013 16:57:24 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UASWS-0007zG-4C for bug-gnu-emacs@gnu.org; Tue, 26 Feb 2013 16:57:18 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:46271) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UASWR-0007yr-U0 for bug-gnu-emacs@gnu.org; Tue, 26 Feb 2013 16:57:15 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1UASYA-0007N3-7u for bug-gnu-emacs@gnu.org; Tue, 26 Feb 2013 16:59:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: "Drew Adams" Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 26 Feb 2013 21:59:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 13823 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 13823-submit@debbugs.gnu.org id=B13823.136191589728278 (code B ref 13823); Tue, 26 Feb 2013 21:59:02 +0000 Original-Received: (at 13823) by debbugs.gnu.org; 26 Feb 2013 21:58:17 +0000 Original-Received: from localhost ([127.0.0.1]:51735 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1UASXO-0007Lz-5u for submit@debbugs.gnu.org; Tue, 26 Feb 2013 16:58:17 -0500 Original-Received: from userp1040.oracle.com ([156.151.31.81]:44947) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1UASXK-0007Lr-Dv for 13823@debbugs.gnu.org; Tue, 26 Feb 2013 16:58:11 -0500 Original-Received: from acsinet21.oracle.com (acsinet21.oracle.com [141.146.126.237]) by userp1040.oracle.com (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id r1QLuL7D006400 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Tue, 26 Feb 2013 21:56:22 GMT Original-Received: from acsmt356.oracle.com (acsmt356.oracle.com [141.146.40.156]) by acsinet21.oracle.com (8.14.4+Sun/8.14.4) with ESMTP id r1QLuKWC014018 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 26 Feb 2013 21:56:21 GMT Original-Received: from abhmt109.oracle.com (abhmt109.oracle.com [141.146.116.61]) by acsmt356.oracle.com (8.12.11.20060308/8.12.11) with ESMTP id r1QLuKnw008191; Tue, 26 Feb 2013 15:56:20 -0600 Original-Received: from dradamslap1 (/10.159.140.20) by default (Oracle Beehive Gateway v4.0) with ESMTP ; Tue, 26 Feb 2013 13:56:20 -0800 X-Mailer: Microsoft Office Outlook 11 In-Reply-To: Thread-Index: Ac4UZNj7hq+xMd3BQyelo+dKXP27wAAABMQw X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 X-Source-IP: acsinet21.oracle.com [141.146.126.237] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 140.186.70.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-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:71867 Archived-At: > If you can come up with a good description of what > it does, I'm all ears. You presumably know the content to be communicated - just what effect property `put' has, when to use it, any gotchas or other things to be aware of etc. I do not really know. I'm asking for precisely that info. If you tell me the content - what `put' does, I will be more than glad to offer help with the wording. >From the bug #13052 thread, it seems that this might be the effect and condition of use, but please correct if wrong: Non-nil means that when the symbol's function is called with only constant arguments the byte-compiler evaluates the call and replaces it in the compiled code by its value.[*] This is similar to replacing a macro call by the evaluation of its expansion. Use `put' only when the function has no side effects and every evaluation of that function call returns the same value regardless of the evaluation context. [*] Does the byte-compiler always do this when the condition is satisfied? Or does non-nil `pure' mean only that it might do this? Is the above description correct? Should something else be said? Perhaps the condition is too strong? Is there a use case for a function that might not give the same result in all contexts, but for which the only relevant/intended context is byte-compilation?