From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Zack Weinberg Newsgroups: gmane.emacs.devel Subject: Re: byte-opt.el addition - optimize list of compile-time constants Date: Wed, 08 Dec 2004 19:08:49 -0800 Message-ID: <87vfbcp3r2.fsf@codesourcery.com> 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> NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1102562154 27405 80.91.229.6 (9 Dec 2004 03:15:54 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Thu, 9 Dec 2004 03:15:54 +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:15:48 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 1CcEmR-00055D-00 for ; Thu, 09 Dec 2004 04:15:47 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1CcEwJ-0003jY-GC for ged-emacs-devel@m.gmane.org; Wed, 08 Dec 2004 22:25:59 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1CcEw8-0003jR-Ar for emacs-devel@gnu.org; Wed, 08 Dec 2004 22:25:48 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1CcEw7-0003jF-Sf for emacs-devel@gnu.org; Wed, 08 Dec 2004 22:25:48 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1CcEw7-0003jC-Qh for emacs-devel@gnu.org; Wed, 08 Dec 2004 22:25:47 -0500 Original-Received: from [65.74.133.9] (helo=mail.codesourcery.com) by monty-python.gnu.org with esmtp (TLSv1:DES-CBC3-SHA:168) (Exim 4.34) id 1CcEmC-0000GP-DH for emacs-devel@gnu.org; Wed, 08 Dec 2004 22:15:32 -0500 Original-Received: (qmail 17648 invoked from network); 9 Dec 2004 03:08:50 -0000 Original-Received: from localhost (HELO taltos.codesourcery.com) (zack@127.0.0.1) by mail.codesourcery.com with SMTP; 9 Dec 2004 03:08:50 -0000 Original-Received: by taltos.codesourcery.com (sSMTP sendmail emulation); Wed, 8 Dec 2004 19:08:49 -0800 Original-To: snogglethorpe@gmail.com In-Reply-To: (Miles Bader's message of "Thu, 9 Dec 2004 11:46:02 +0900") User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/21.3.50 (gnu/linux) 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:30908 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:30908 Miles Bader writes: >> which is what (function ...) is for, right? I am quite confused by >> what the manual says about function vs. bare lambda expressions. > > 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. zw