GNU logs - #14551, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#14551: compiler fails to track eval-when-compile in required files
Resent-From: Glenn Morris <rgm@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 03 Jun 2013 20:33:02 +0000
Resent-Message-ID: <handler.14551.B.13702915443172 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 14551 <at> debbugs.gnu.org
From: Glenn Morris <rgm@HIDDEN>
Date: Mon, 03 Jun 2013 16:30:27 -0400
Message-ID: <6m8v2r6ios.fsf@HIDDEN>
User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Precedence: list
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org

Package: emacs
Severity: minor
Version: 24.3

(I guess this issue has always been present.)

Suppose we have three files:


foo.el:
(require 'lib)
(defun foo ()
  (lib2-func))


lib.el:
(eval-when-compile
  (require 'lib2))
(provide 'lib)


lib2.el:
(defun lib2-func ()
  t)
(provide 'lib2)


rm lib*.elc
emacs -Q -L . -batch -f batch-byte-compile foo.el

produces no warnings.

If lib.el is compiled first though:
emacs -Q -L . -batch -f batch-byte-compile lib.el
emacs -Q -L . -batch -f batch-byte-compile foo.el

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


eval-when-compile is equivalent to progn in uncompiled code, and the
compiler doesn't compile things brought in by require.

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#14551: compiler fails to track eval-when-compile in required files
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 03 Jun 2013 21:02:02 +0000
Resent-Message-ID: <handler.14551.B14551.13702932706387 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Glenn Morris <rgm@HIDDEN>
Cc: 14551 <at> debbugs.gnu.org
From: Stefan Monnier <monnier@HIDDEN>
Message-ID: <jwvehciykzu.fsf-monnier+emacs@HIDDEN>
References: <6m8v2r6ios.fsf@HIDDEN>
Date: Mon, 03 Jun 2013 16:59:07 -0400
In-Reply-To: <6m8v2r6ios.fsf@HIDDEN> (Glenn Morris's message of
	"Mon, 03 Jun 2013 16:30:27 -0400")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.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

> foo.el:
> (require 'lib)
> (defun foo ()
>   (lib2-func))
[...]
> lib.el:
> (eval-when-compile
>   (require 'lib2))
> (provide 'lib)
[...]
> rm lib*.elc
> emacs -Q -L . -batch -f batch-byte-compile foo.el
> produces no warnings.

Yes, that's a long standing bug.  Fixing it right is likely to be pretty
tricky/difficult because it means we need to disregard some of the
packages already loaded somehow.  In the general case, you have the same
problem even without eval-when-compile, e.g. if you have in lib.el
a call to an autoloaded macro, in which case the autoloaded package will
be loaded if lib.el is not yet compiled but not if it is.

The "noruntime" warnings are implemented with a pile of hacks, and I'd
rather not add to them.  So, given that a proper fix looks pretty
difficult, I wouldn't hold my breath.

        Stefan

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#14551: compiler fails to track eval-when-compile in required files
Resent-From: Stefan Kangas <stefankangas@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Wed, 10 Jan 2024 11:18:01 +0000
Resent-Message-ID: <handler.14551.B14551.170488545610068 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Stefan Monnier <monnier@HIDDEN>
Cc: Glenn Morris <rgm@HIDDEN>, 14551 <at> debbugs.gnu.org
From: Stefan Kangas <stefankangas@HIDDEN>
In-Reply-To: <jwvehciykzu.fsf-monnier+emacs@HIDDEN> (Stefan Monnier's message
 of "Mon, 03 Jun 2013 16:59:07 -0400")
References: <6m8v2r6ios.fsf@HIDDEN>
 <jwvehciykzu.fsf-monnier+emacs@HIDDEN>
MIME-Version: 1.0
Date: Wed, 10 Jan 2024 03:17:05 -0800
Message-ID: <CADwFkmn+mN0aJh0rP8_Pdt+Spg-wm9oTQ6ZTnbWWZZ91t454CA@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Stefan Monnier <monnier@HIDDEN> writes:

>> foo.el:
>> (require 'lib)
>> (defun foo ()
>>   (lib2-func))
> [...]
>> lib.el:
>> (eval-when-compile
>>   (require 'lib2))
>> (provide 'lib)
> [...]
>> rm lib*.elc
>> emacs -Q -L . -batch -f batch-byte-compile foo.el
>> produces no warnings.
>
> Yes, that's a long standing bug.  Fixing it right is likely to be pretty
> tricky/difficult because it means we need to disregard some of the
> packages already loaded somehow.  In the general case, you have the same
> problem even without eval-when-compile, e.g. if you have in lib.el
> a call to an autoloaded macro, in which case the autoloaded package will
> be loaded if lib.el is not yet compiled but not if it is.
>
> The "noruntime" warnings are implemented with a pile of hacks, and I'd
> rather not add to them.  So, given that a proper fix looks pretty
> difficult, I wouldn't hold my breath.

Is still an issue 10 years later?

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#14551: compiler fails to track eval-when-compile in required files
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 12 Jan 2024 15:58:01 +0000
Resent-Message-ID: <handler.14551.B14551.170507503031382 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Stefan Kangas <stefankangas@HIDDEN>
Cc: Glenn Morris <rgm@HIDDEN>, 14551 <at> debbugs.gnu.org
From: Stefan Monnier <monnier@HIDDEN>
In-Reply-To: <CADwFkmn+mN0aJh0rP8_Pdt+Spg-wm9oTQ6ZTnbWWZZ91t454CA@HIDDEN>
 (Stefan Kangas's message of "Wed, 10 Jan 2024 03:17:05 -0800")
Message-ID: <jwva5paeebc.fsf-monnier+emacs@HIDDEN>
References: <6m8v2r6ios.fsf@HIDDEN>
 <jwvehciykzu.fsf-monnier+emacs@HIDDEN>
 <CADwFkmn+mN0aJh0rP8_Pdt+Spg-wm9oTQ6ZTnbWWZZ91t454CA@HIDDEN>
Date: Fri, 12 Jan 2024 10:57:03 -0500
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

> Is still an issue 10 years later?

I don't think anything has changed in this respect.


        Stefan

Last modified: Sat, 20 Jan 2024 12:30:02 UTC

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