From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Miles Bader Newsgroups: gmane.emacs.devel Subject: Re: byte-opt.el addition - optimize list of compile-time constants Date: Thu, 9 Dec 2004 12:28:43 +0900 Message-ID: References: <87u0qxgn65.fsf@codesourcery.com> <878y88hazn.fsf@codesourcery.com> <87llc8tnjr.fsf@codesourcery.com> <878y88s6po.fsf-monnier+emacs@gnu.org> <874qiwqncp.fsf@codesourcery.com> <87llc8qlcb.fsf-monnier+emacs@gnu.org> <87zn0op5dj.fsf@codesourcery.com> <87vfbcp3r2.fsf@codesourcery.com> Reply-To: snogglethorpe@gmail.com, miles@gnu.org NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1102562981 29003 80.91.229.6 (9 Dec 2004 03:29:41 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Thu, 9 Dec 2004 03:29:41 +0000 (UTC) Cc: emacs-devel@gnu.org, Stefan Monnier , miles@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Dec 09 04:29:37 2004 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1CcEzo-0005np-00 for ; Thu, 09 Dec 2004 04:29:37 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1CcF9h-0006kf-AM for ged-emacs-devel@m.gmane.org; Wed, 08 Dec 2004 22:39:49 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1CcF9F-0006jU-B9 for emacs-devel@gnu.org; Wed, 08 Dec 2004 22:39:21 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1CcF9E-0006jI-UT for emacs-devel@gnu.org; Wed, 08 Dec 2004 22:39:21 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1CcF9E-0006jF-PY for emacs-devel@gnu.org; Wed, 08 Dec 2004 22:39:20 -0500 Original-Received: from [64.233.184.196] (helo=wproxy.gmail.com) by monty-python.gnu.org with esmtp (Exim 4.34) id 1CcEz2-0002CX-5r for emacs-devel@gnu.org; Wed, 08 Dec 2004 22:28:48 -0500 Original-Received: by wproxy.gmail.com with SMTP id 49so110346wri for ; Wed, 08 Dec 2004 19:28:44 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:references; b=sMDsbJgJWUxQiXkurGergVQlbggxEVLICpEvoEcaxhaovSW2Fm02rXnTlucHjrVnMTjuf+i4DGqho22qqX7AyIWqDQyhL8aCi3nc6m/XyEk9LMyb36NYn3a5tXJvYxCNODTAZkzTOYgCKBXOO3u+M63FMGyQ3WBBC5XsVYCBkpc= Original-Received: by 10.54.59.37 with SMTP id h37mr246505wra; Wed, 08 Dec 2004 19:28:43 -0800 (PST) Original-Received: by 10.54.19.63 with HTTP; Wed, 8 Dec 2004 19:28:43 -0800 (PST) Original-To: Zack Weinberg In-Reply-To: <87vfbcp3r2.fsf@codesourcery.com> 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: main.gmane.org gmane.emacs.devel:30909 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:30909 > > A user might well have a constant list with (function (lambda ...)) > > embedded in it that _isn't_ intended to be executed; the compiler > > simply cannot make assumptions like you suggest about the contents of > > a constant list. > > I thought the whole point of (function ...) was to assert that the > lambda expression it contains *will* be used by execution. Yes, but that only applies if it occurs in an evaluable context. Anyplace else, all bets are off. -Miles