From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Can the byte-compiler check whether functions passed by name are defined? Date: Wed, 07 Aug 2013 11:21:16 -0400 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1375888897 17166 80.91.229.3 (7 Aug 2013 15:21:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 7 Aug 2013 15:21:37 +0000 (UTC) Cc: Sebastian Wiesner , emacs-devel@gnu.org To: Klaus-Dieter Bauer Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Aug 07 17:21:38 2013 Return-path: 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 ) id 1V75YO-0006ac-8a for ged-emacs-devel@m.gmane.org; Wed, 07 Aug 2013 17:21:36 +0200 Original-Received: from localhost ([::1]:36858 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1V75YN-0005qX-LV for ged-emacs-devel@m.gmane.org; Wed, 07 Aug 2013 11:21:35 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57069) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1V75YD-0005pF-0p for emacs-devel@gnu.org; Wed, 07 Aug 2013 11:21:33 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1V75Y5-00067M-NK for emacs-devel@gnu.org; Wed, 07 Aug 2013 11:21:24 -0400 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.182]:20296) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1V75Y5-000677-JG for emacs-devel@gnu.org; Wed, 07 Aug 2013 11:21:17 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av4EABK/CFFLd/Nq/2dsb2JhbABEvw4Xc4IeAQEEAVYjBQsLNBIUGA0kiB4GwS2RCgOSWpIggV6DEw X-IPAS-Result: Av4EABK/CFFLd/Nq/2dsb2JhbABEvw4Xc4IeAQEEAVYjBQsLNBIUGA0kiB4GwS2RCgOSWpIggV6DEw X-IronPort-AV: E=Sophos;i="4.84,565,1355115600"; d="scan'208";a="20820562" Original-Received: from 75-119-243-106.dsl.teksavvy.com (HELO pastel.home) ([75.119.243.106]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 07 Aug 2013 11:21:09 -0400 Original-Received: by pastel.home (Postfix, from userid 20848) id 42F5966AF2; Wed, 7 Aug 2013 11:21:16 -0400 (EDT) In-Reply-To: (Klaus-Dieter Bauer's message of "Wed, 7 Aug 2013 17:11:10 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 206.248.154.182 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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:162465 Archived-At: > The patch only adds a single line of code to byte-compile-normal-call > which calls defun byte-compile--higher-order--check-arguments. But there's no normal call in (if a #'foo1 #'foo2), so how can this work? Stefan