From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Glenn Morris <rgm@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Can the byte-compiler check whether functions passed by name are
	defined?
Date: Wed, 07 Aug 2013 17:11:35 -0400
Message-ID: <tn8v0dqk8o.fsf@fencepost.gnu.org>
References: <CANtbJLGK91q88K-A_a=Q_XSEX0eRN4zS1Ab=jJ-YUC3+cObQ6Q@mail.gmail.com>
	<jwviozte6jq.fsf-monnier+emacs@gnu.org>
	<CANtbJLGJhgwpkiGNngNMchUSHnhoyFmRO3ggFosh9Zh4oPSiBQ@mail.gmail.com>
	<jwva9l2pqxy.fsf-monnier+emacs@gnu.org>
	<CALf2awQEML221ro4ufwmK2f69Ef4T2J1pzRK8zASBPo06L3aWg@mail.gmail.com>
	<jwvzjt1f9g2.fsf-monnier+emacs@gnu.org>
	<CANtbJLEBZUmtE8XnsiVaPKUx7jj1Cm_8vq7ddiZb7UNQw07S-w@mail.gmail.com>
	<jwvwqo12n1l.fsf-monnier+emacs@gnu.org>
	<CANtbJLFde6esQcc+oFKDfT4aGLp8p-t2gjdw3gHm6NRQa92hRw@mail.gmail.com>
	<jwv1u681aic.fsf-monnier+emacs@gnu.org>
	<CANtbJLHt-buKFqg8Ry6j--JoZgAC5tL+JG1SH8GsC-6QHr4fPg@mail.gmail.com>
	<jwva9kt7ejj.fsf-monnier+emacs@gnu.org>
	<CANtbJLGKTHwas7d4WFSWfEFGLHuT0=j0ya+qOHrCz=LVrWRKWw@mail.gmail.com>
	<jwvsiyl5xz1.fsf-monnier+emacs@gnu.org>
	<jwv61vh5rv0.fsf-monnier+emacs@gnu.org>
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: ger.gmane.org 1375909903 32453 80.91.229.3 (7 Aug 2013 21:11:43 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 7 Aug 2013 21:11:43 +0000 (UTC)
Cc: Sebastian Wiesner <lunaryorn@gmail.com>,
	Klaus-Dieter Bauer <bauer.klaus.dieter@gmail.com>, emacs-devel@gnu.org
To: Stefan Monnier <monnier@iro.umontreal.ca>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Aug 07 23:11:43 2013
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 plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1V7B1B-000815-RM
	for ged-emacs-devel@m.gmane.org; Wed, 07 Aug 2013 23:11:41 +0200
Original-Received: from localhost ([::1]:38792 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 1V7B1B-0000R3-DH
	for ged-emacs-devel@m.gmane.org; Wed, 07 Aug 2013 17:11:41 -0400
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50918)
	by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <rgm@gnu.org>)
	id 1V7B18-0000Qw-4I
	for emacs-devel@gnu.org; Wed, 07 Aug 2013 17:11:38 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <rgm@gnu.org>) id 1V7B17-00024s-76
	for emacs-devel@gnu.org; Wed, 07 Aug 2013 17:11:37 -0400
Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:43582)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <rgm@gnu.org>)
	id 1V7B17-00024n-3Z
	for emacs-devel@gnu.org; Wed, 07 Aug 2013 17:11:37 -0400
Original-Received: from rgm by fencepost.gnu.org with local (Exim 4.71)
	(envelope-from <rgm@gnu.org>)
	id 1V7B16-0000x8-5A; Wed, 07 Aug 2013 17:11:36 -0400
X-Spook: enforcers basement SAFE Vince Foster Khaddafi CBNRC
X-Ran: 2/jG#0qYFcU!1k*UTy&!3J\paIh2\S^"lS>yeUHG{B:_P]<C[{KK;UHlk+a||A;CZp59>2
X-Hue: white
X-Attribution: GM
In-Reply-To: <jwv61vh5rv0.fsf-monnier+emacs@gnu.org> (Stefan Monnier's message
	of "Wed, 07 Aug 2013 13:34:41 -0400")
User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2001:4830:134:3::e
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.14
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-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Xref: news.gmane.org gmane.emacs.devel:162471
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/162471>

Stefan Monnier wrote:

> I installed the patch below which checks that #'foo refers to a function
> that will exist.

It seems overly pessimistic:

foo.el:

(defun foo (&rest args)
  t)

(defun foo2 ()
  (mapcar #'foo '(1 2 3)))

Byte-compile foo.el:

In end of data:
foo.el:6:1:Warning: the function `foo' is not known to be defined.