GNU logs - #8140, boring messages

Message sent to owner <at> debbugs.gnu.org, bug-gnu-emacs@HIDDEN:

Subject: bug#8140: 24.0.50; wrong compilation warning
Resent-From: Sam Steingold <sds@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-To: owner <at> debbugs.gnu.org
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 28 Feb 2011 15:17:01 +0000
Resent-Message-ID: <handler.8140.B.129890622117617 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 8140 <at> debbugs.gnu.org
Reply-To: sds@HIDDEN
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma;
	h=sender:from:to:subject:user-agent:mail-copies-to:return-receipt-to
	:reply-to:x-attribution:x-disclaimer:date:message-id:mime-version
	:content-type;
	b=rr5F3Odub2DWBgB67y41CAddbzFec70zmHxPJz7+CvfEDb3TvSKt7tfNR4SzyOAlZU
	a0LjHi5h0XDKn5IgEt7xsww+XIoNRgGmVY/LXZD9TLM8P58qVqWRaDDgqIZw6aZPQZD/
	Whc7Z7+iQ9isC4RW0rssUA8Wd81VzKACuVyV0=
From: Sam Steingold <sds@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux)
Mail-Copies-To: never
Date: Mon, 28 Feb 2011 10:16:30 -0500
Message-ID: <svbp1wkx4h.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org

In GNU Emacs 24.0.50.6 (x86_64-unknown-linux-gnu, X toolkit)
 of 2011-02-28 on tbox
Windowing system distributor `Colin Harrison', version 11.0.60900031
configured using `configure  '--exec-prefix=/opt/emacs/lucid' '--prefix=/opt/emacs' '--with-x-toolkit=lucid''

the following code:

(if (eval-when-compile (eq 'w32 window-system))
    (defun foo () ...) ; woe32 definition
    (defun foo () ...)) ; unix definition

(defun bar () ... (foo) ... )

results in this byte-compilation warning:

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

I think the warning is wrong because it should be pretty easy for the
compiler to see that `foo' is always defined.

-- 
Sam Steingold (http://sds.podval.org/) on CentOS release 5.3 (Final) X
http://dhimmi.com http://truepeace.org http://www.PetitionOnline.com/tap12009/
http://mideasttruth.com http://ffii.org http://www.memritv.org
Even Windows doesn't suck, when you use Common Lisp

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.427 (Entity 5.427)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: sds@HIDDEN
Subject: bug#8140: Acknowledgement (24.0.50; wrong compilation warning)
Message-ID: <handler.8140.B.129890622117617.ack <at> debbugs.gnu.org>
References: <svbp1wkx4h.fsf@HIDDEN>
X-Gnu-PR-Message: ack 8140
X-Gnu-PR-Package: emacs
Reply-To: 8140 <at> debbugs.gnu.org
Date: Mon, 28 Feb 2011 15:17:02 +0000

Thank you for filing a new bug report with GNU.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 8140 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
8140: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D8140
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to owner <at> debbugs.gnu.org, bug-gnu-emacs@HIDDEN:

Subject: bug#8140: 24.0.50; wrong compilation warning
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-To: owner <at> debbugs.gnu.org
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 28 Feb 2011 16:25:01 +0000
Resent-Message-ID: <handler.8140.B8140.129891028023369 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 8140 <at> debbugs.gnu.org
From: Stefan Monnier <monnier@HIDDEN>
Message-ID: <jwvoc5w2kxk.fsf-monnier+emacs@HIDDEN>
References: <svbp1wkx4h.fsf@HIDDEN>
Date: Mon, 28 Feb 2011 11:24:27 -0500
In-Reply-To: <svbp1wkx4h.fsf@HIDDEN> (Sam Steingold's message of "Mon, 
	28 Feb 2011 10:16:30 -0500")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org

severity 8140 wishlist
thanks

> the following code:

> (if (eval-when-compile (eq 'w32 window-system))
>     (defun foo () ...) ; woe32 definition
>     (defun foo () ...)) ; unix definition

> (defun bar () ... (foo) ... )

> results in this byte-compilation warning:

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

> I think the warning is wrong because it should be pretty easy for the
> compiler to see that `foo' is always defined.

That's right.  It's fairly easy to write a code that can decide which
functions are known to exist and which aren't.  OTOH given the existing
bytecomp.el structure, it's not that easy to make it understand that in
the above code `foo' will always be defined.  Of course, maybe there's
a clever way to do it, but at least for now it seems unlikely to happen.

So until it does happen I recommend you use

  (defalias 'foo
    (if blabla
        (lambda () ...)
      (lambda () ...)))

which makes it more obvious to the byte-compiler that `foo' will indeed
always be defined.  The above form works well for single-function
definitions, but it's not as nice when doing

   (cond
    (toto
     (defun foo1 ...)
     (defun foo2 ...)
     (defun foo3 ...))
    (t
     (defun foo1 ...)
     (defun foo2 ...)
     (defun foo3 ...)))

so it would indeed be good to teach the byte-compiler how to figure
these things out.


        Stefan

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 28 Feb 2011 16:24:40 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 28 11:24:39 2011
Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1Pu5tn-00064t-4w
	for submit <at> debbugs.gnu.org; Mon, 28 Feb 2011 11:24:39 -0500
Received: from ironport2-out.teksavvy.com ([206.248.154.183]
	helo=ironport2-out.pppoe.ca)
	by debbugs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <monnier@HIDDEN>)
	id 1Pu5tk-00064d-6F; Mon, 28 Feb 2011 11:24:36 -0500
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmwIAGdba01FxKsT/2dsb2JhbACYMo4UdbxShWEEhRCPXw
X-IronPort-AV: E=Sophos;i="4.62,240,1297054800"; d="scan'208";a="93800630"
Received: from 69-196-171-19.dsl.teksavvy.com (HELO ceviche.home)
	([69.196.171.19])
	by ironport2-out.pppoe.ca with ESMTP/TLS/ADH-AES256-SHA;
	28 Feb 2011 11:24:27 -0500
Received: by ceviche.home (Postfix, from userid 20848)
	id 3CEAD660D6; Mon, 28 Feb 2011 11:24:27 -0500 (EST)
From: Stefan Monnier <monnier@HIDDEN>
To: 8140 <at> debbugs.gnu.org
Subject: Re: bug#8140: 24.0.50; wrong compilation warning
Message-ID: <jwvoc5w2kxk.fsf-monnier+emacs@HIDDEN>
References: <svbp1wkx4h.fsf@HIDDEN>
Date: Mon, 28 Feb 2011 11:24:27 -0500
In-Reply-To: <svbp1wkx4h.fsf@HIDDEN> (Sam Steingold's message of "Mon, 
	28 Feb 2011 10:16:30 -0500")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: -2.1 (--)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.11
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
	<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/pipermail/debbugs-submit>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
	<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
X-Spam-Score: -2.1 (--)

severity 8140 wishlist
thanks

> the following code:

> (if (eval-when-compile (eq 'w32 window-system))
>     (defun foo () ...) ; woe32 definition
>     (defun foo () ...)) ; unix definition

> (defun bar () ... (foo) ... )

> results in this byte-compilation warning:

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

> I think the warning is wrong because it should be pretty easy for the
> compiler to see that `foo' is always defined.

That's right.  It's fairly easy to write a code that can decide which
functions are known to exist and which aren't.  OTOH given the existing
bytecomp.el structure, it's not that easy to make it understand that in
the above code `foo' will always be defined.  Of course, maybe there's
a clever way to do it, but at least for now it seems unlikely to happen.

So until it does happen I recommend you use

  (defalias 'foo
    (if blabla
        (lambda () ...)
      (lambda () ...)))

which makes it more obvious to the byte-compiler that `foo' will indeed
always be defined.  The above form works well for single-function
definitions, but it's not as nice when doing

   (cond
    (toto
     (defun foo1 ...)
     (defun foo2 ...)
     (defun foo3 ...))
    (t
     (defun foo1 ...)
     (defun foo2 ...)
     (defun foo3 ...)))

so it would indeed be good to teach the byte-compiler how to figure
these things out.


        Stefan

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 7 Oct 2011 01:59:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Oct 06 21:59:31 2011
Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1RBzil-00025g-AH
	for submit <at> debbugs.gnu.org; Thu, 06 Oct 2011 21:59:31 -0400
Received: from fencepost.gnu.org ([140.186.70.10])
	by debbugs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <rgm@HIDDEN>) id 1RBzik-00025Y-1J
	for control <at> debbugs.gnu.org; Thu, 06 Oct 2011 21:59:30 -0400
Received: from rgm by fencepost.gnu.org with local (Exim 4.71)
	(envelope-from <rgm@HIDDEN>) id 1RBziY-0008Qx-CT
	for control <at> debbugs.gnu.org; Thu, 06 Oct 2011 21:59:18 -0400
Date: Thu, 06 Oct 2011 21:59:18 -0400
Message-Id: <E1RBziY-0008Qx-CT@HIDDEN>
Subject: control message for bug 8140
To: <control <at> debbugs.gnu.org>
X-Mailer: mail (GNU Mailutils 2.1)
From: Glenn Morris <rgm@HIDDEN>
X-Spam-Score: -6.4 (------)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.11
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
	<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
	<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
X-Spam-Score: -6.4 (------)

retitle 8140 byte-compiler to not warn about conditional defuns that are always defined

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 19 Mar 2015 17:54:41 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Mar 19 13:54:41 2015
Received: from localhost ([127.0.0.1]:53294 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1YYeeW-00061L-Kj
	for submit <at> debbugs.gnu.org; Thu, 19 Mar 2015 13:54:40 -0400
Received: from fencepost.gnu.org ([208.118.235.10]:37731)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <rgm@HIDDEN>) id 1YYeeU-00061D-PO
 for control <at> debbugs.gnu.org; Thu, 19 Mar 2015 13:54:39 -0400
Received: from rgm by fencepost.gnu.org with local (Exim 4.71)
 (envelope-from <rgm@HIDDEN>) id 1YYeeU-0000v2-Ig
 for control <at> debbugs.gnu.org; Thu, 19 Mar 2015 13:54:38 -0400
Date: Thu, 19 Mar 2015 13:54:38 -0400
Message-Id: <E1YYeeU-0000v2-Ig@HIDDEN>
Subject: control message for bug 20144
To: <control <at> debbugs.gnu.org>
X-Mailer: mail (GNU Mailutils 2.1)
From: Glenn Morris <rgm@HIDDEN>
X-Spam-Score: -5.0 (-----)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -5.0 (-----)

merge 8140 20144

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.