From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!.POSTED!not-for-mail
From: Stefan Monnier <monnier@iro.umontreal.ca>
Newsgroups: gmane.emacs.devel
Subject: Re: pure-fns in byte-opt.el
Date: Fri, 28 Jul 2017 18:20:25 -0400
Message-ID: <jwveft0fbmj.fsf-monnier+gmane.emacs.devel@gnu.org>
References: <20170725020650.GA12601@holos.localdomain>
	<mvmh8y1vsp9.fsf@suse.de>
	<jwvtw20ob8o.fsf-monnier+gmane.emacs.devel@gnu.org>
	<CAArVCkQizDCZFB4DtN5DAmZMUj3QGSygVwfAGw2rkXNd6kqa6A@mail.gmail.com>
	<jwvpocomcol.fsf-monnier+Inbox@gnu.org>
	<CAArVCkTOX5BSzxQR4XqPvnXCNPohAQAeKEzbFLO6+DjZMuzKrA@mail.gmail.com>
	<jwv1sp0ihc0.fsf-monnier+gmane.emacs.devel@gnu.org>
	<CAArVCkQ7Cpt8Zh0=HgT2CRVhEo_c1LhXU1Z4UNYmO1eZu3fz-A@mail.gmail.com>
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: blaine.gmane.org 1501280532 21693 195.159.176.226 (28 Jul 2017 22:22:12 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Fri, 28 Jul 2017 22:22:12 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux)
To: emacs-devel@gnu.org
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Jul 29 00:22:08 2017
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane.org
Original-Received: from lists.gnu.org ([208.118.235.17])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1dbDe2-0005Mv-Fb
	for ged-emacs-devel@m.gmane.org; Sat, 29 Jul 2017 00:22:06 +0200
Original-Received: from localhost ([::1]:50312 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1dbDe8-0006kS-3D
	for ged-emacs-devel@m.gmane.org; Fri, 28 Jul 2017 18:22:12 -0400
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47396)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ged-emacs-devel@m.gmane.org>) id 1dbDcm-0006hc-My
	for emacs-devel@gnu.org; Fri, 28 Jul 2017 18:20:49 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ged-emacs-devel@m.gmane.org>) id 1dbDcg-0007QR-S0
	for emacs-devel@gnu.org; Fri, 28 Jul 2017 18:20:47 -0400
Original-Received: from [195.159.176.226] (port=42657 helo=blaine.gmane.org)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <ged-emacs-devel@m.gmane.org>)
	id 1dbDcg-0007PO-Da
	for emacs-devel@gnu.org; Fri, 28 Jul 2017 18:20:42 -0400
Original-Received: from list by blaine.gmane.org with local (Exim 4.84_2)
	(envelope-from <ged-emacs-devel@m.gmane.org>) id 1dbDcU-0000it-FA
	for emacs-devel@gnu.org; Sat, 29 Jul 2017 00:20:30 +0200
X-Injected-Via-Gmane: http://gmane.org/
Original-Lines: 7
Original-X-Complaints-To: usenet@blaine.gmane.org
Cancel-Lock: sha1:h3BmV3SE4NWF2H3nLUY2VGYibA4=
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
	[fuzzy]
X-Received-From: 195.159.176.226
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.21
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-devel/>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Original-Sender: "Emacs-devel" <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Xref: news.gmane.org gmane.emacs.devel:217114
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/217114>

> So what is then the actual definition? Is it in the manual?

The only definition I've seen just says that it means that the compiler
can precompute the calls if it knows the arguments's values.


        Stefan