From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: David Kastrup Newsgroups: gmane.emacs.devel Subject: Re: "simplifications" Date: Mon, 19 Nov 2007 12:57:29 +0100 Message-ID: <861wam1m8m.fsf@lola.quinscape.zz> References: <86ejem1pig.fsf@lola.quinscape.zz> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1195473469 31186 80.91.229.12 (19 Nov 2007 11:57:49 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 19 Nov 2007 11:57:49 +0000 (UTC) Cc: lekktu@gmail.com, emacs-devel@gnu.org To: Miles Bader Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Nov 19 12:57:55 2007 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1Iu5GA-0005Tc-0U for ged-emacs-devel@m.gmane.org; Mon, 19 Nov 2007 12:57:50 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Iu5Fw-0004sg-E1 for ged-emacs-devel@m.gmane.org; Mon, 19 Nov 2007 06:57:36 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Iu5Fu-0004sI-3J for emacs-devel@gnu.org; Mon, 19 Nov 2007 06:57:34 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Iu5Fs-0004qm-IH for emacs-devel@gnu.org; Mon, 19 Nov 2007 06:57:33 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Iu5Fs-0004qU-B6 for emacs-devel@gnu.org; Mon, 19 Nov 2007 06:57:32 -0500 Original-Received: from pc3.berlin.powerweb.de ([62.67.228.11]) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1Iu5Fr-0004lz-MI for emacs-devel@gnu.org; Mon, 19 Nov 2007 06:57:32 -0500 Original-Received: from quinscape.de (mail.quinscape.de [212.29.44.217]) by pc3.berlin.powerweb.de (8.9.3p3/8.9.3) with ESMTP id MAA09830 for ; Mon, 19 Nov 2007 12:57:26 +0100 X-Delivered-To: Original-Received: (qmail-ldap/ctrl 5556 invoked from network); 19 Nov 2007 11:57:30 -0000 Original-Received: from unknown (HELO lola.quinscape.zz) ([10.0.3.43]) (envelope-sender ) by ns.quinscape.de (qmail-ldap-1.03) with SMTP for ; 19 Nov 2007 11:57:29 -0000 Original-Received: by lola.quinscape.zz (Postfix, from userid 1001) id A0BEA8F231; Mon, 19 Nov 2007 12:57:29 +0100 (CET) In-Reply-To: (Miles Bader's message of "Mon\, 19 Nov 2007 20\:33\:47 +0900") User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/23.0.50 (gnu/linux) X-AntiVirus: checked by AntiVir MailGate (version: 2.1.3-2; AVE: 7.6.0.34; VDF: 7.0.0.230; host: quinx) X-detected-kernel: by monty-python.gnu.org: Linux 2.4-2.6 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:83637 Archived-At: Miles Bader writes: > David Kastrup writes: >> Personally, I think that we should make the byte compiler optimize the >> unnecessary binding away. > > It'd be nice if it did, though you need to analyze the function to make > sure there are no hidden uses of that binding; in particular, you need > to know if any functions called inside the defsubst might use the > dynamic binding of the defsubst's args. > > [I personally think that's a bit silly, and that it would be enough to > just define defsubst as not guaranteeing dynamic bindings of its args, > but as a recall, this has been discussed before, and the current > behavior declared necessary...] My recollection was rather that optimizing such cases (for a suitable definition of "such") was deemed a good idea, but too invasive for the Emacs 22 release schedule. -- David Kastrup