GNU bug report logs - #14551
compiler fails to track eval-when-compile in required files

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Package: emacs; Severity: minor; Reported by: Glenn Morris <rgm@HIDDEN>; dated Mon, 3 Jun 2013 20:33:02 UTC; Maintainer for emacs is bug-gnu-emacs@HIDDEN.

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


Received: (at 14551) by debbugs.gnu.org; 12 Jan 2024 15:57:10 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Jan 12 10:57:10 2024
Received: from localhost ([127.0.0.1]:37299 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rOJuA-0008A4-20
	for submit <at> debbugs.gnu.org; Fri, 12 Jan 2024 10:57:10 -0500
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:9983)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1rOJu8-00089m-Au
 for 14551 <at> debbugs.gnu.org; Fri, 12 Jan 2024 10:57:08 -0500
Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id DE2B5811EC;
 Fri, 12 Jan 2024 10:57:04 -0500 (EST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1705075023;
 bh=q/RW7X6kxkqi/Zo6h0PjAy4IITZDRMSKyjhvEpa2vi0=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
 b=jK2nnsYSheSN6ZDoC30P8ZPtyd9Ka1XslVc1+LYyEm4kZCdHKULcpnngg0Ryuqtui
 SDqpo6pFAUl4FBJD7MCVptENocnlx3Lddow+IYcXHre7kWW3EriIOgdOQiGiKmBcJQ
 ESgzPNXF2hsvBifjT0cZa62y5pwHDkdUEPLdrUfY5zHCu3ynKkrxbz9oGKnL2Riu1p
 kcsgVZe+v7VONwi2KQS0BTkl1Oj/8jxaD0PK8s3NADtiZDO+GFqVSoePFeDi998/mZ
 iZllx7zkhI0OOtgv1TIfoilSot0nW2D9t6L7OdIeamdjSH5OZMdclasSHtlaX/kjZz
 tiE+fXlckjzIg==
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id E9CF2812B2;
 Fri, 12 Jan 2024 10:57:03 -0500 (EST)
Received: from alfajor (unknown [23.233.149.155])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id CAB29120234;
 Fri, 12 Jan 2024 10:57:03 -0500 (EST)
From: Stefan Monnier <monnier@HIDDEN>
To: Stefan Kangas <stefankangas@HIDDEN>
Subject: Re: bug#14551: compiler fails to track eval-when-compile in
 required files
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
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL 0.047 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
 DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
 domain T_SCC_BODY_TEXT_LINE    -0.01 -
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 14551
Cc: Glenn Morris <rgm@HIDDEN>, 14551 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
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: -3.3 (---)

> Is still an issue 10 years later?

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


        Stefan
Information forwarded to bug-gnu-emacs@HIDDEN:
bug#14551; Package emacs. Full text available.

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


Received: (at 14551) by debbugs.gnu.org; 10 Jan 2024 11:17:36 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Jan 10 06:17:36 2024
Received: from localhost ([127.0.0.1]:42217 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rNWaV-0002cJ-9c
	for submit <at> debbugs.gnu.org; Wed, 10 Jan 2024 06:17:36 -0500
Received: from mail-lf1-x129.google.com ([2a00:1450:4864:20::129]:51498)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stefankangas@HIDDEN>) id 1rNWaF-0002bW-Cm
 for 14551 <at> debbugs.gnu.org; Wed, 10 Jan 2024 06:17:33 -0500
Received: by mail-lf1-x129.google.com with SMTP id
 2adb3069b0e04-50e8ca6c76dso4444710e87.3
 for <14551 <at> debbugs.gnu.org>; Wed, 10 Jan 2024 03:17:11 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1704885426; x=1705490226; darn=debbugs.gnu.org;
 h=cc:to:subject:message-id:date:mime-version:references:in-reply-to
 :from:from:to:cc:subject:date:message-id:reply-to;
 bh=Kq5p9WCyJNt/tDL7HGKuMwyiDpJ3JHtcoBsCyXqZXRU=;
 b=a6STFqjfNZH0Tg4COz3+0AzM1pkJPvmcc5Ioozkzia5INjRTOoFRgwp6HYg5CPUAqX
 g8QtCr8POd4B6T4JLYnduVEtxp40kwgdasOty93PkrRZGGgDe1yRYRlN8TYooEm3FLpE
 XpXVFlT7i7LQA5axOGp+SbPzMW2f/+hPsK6lF6zk7R8N+J1FfiaJywfoz4pr2ue2ML90
 1Tod9XnYglrCp7jq9sArl4xVNNf+m7V2Ro+GUh0xSnqQsmtIJd4dFo1b4UDzCOnEoVwO
 FCkkm0/gZqQ8rw5o1Bb5XudJ+NPRbSM3SxTSy43vHbbYjt8gVElYxuMSWXatQwUs1JfN
 UcLg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1704885426; x=1705490226;
 h=cc:to:subject:message-id:date:mime-version:references:in-reply-to
 :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=Kq5p9WCyJNt/tDL7HGKuMwyiDpJ3JHtcoBsCyXqZXRU=;
 b=KeweT0FfOBN5F0kjBGu8+MtxB0NBLSFPQtIHpFuso3dEP7Wo5YyfiCX+MDd5NZkKH+
 OrkDcLkaIyFFBexkQGcv77KEcG4IFC7tx2xHOjqHVQBFxMeDTSRM2Ahyf9X/e6Ls9xRO
 iW15QNjqGeka4obKLlWgmL+HMOyxqP83RhOL9ITXFGfUxl7OgoYpNtTwtPOnVpWIzsK5
 f3lKdU/FAdCUw5mqksVgUASUMVm0R97bvjia/H4DxVMGRIuZFsLc5Ga9ODoW8ME+sbD2
 6fobCAy1jDOop192RT23nqWbiYnPaH6IRpxhj3iaZ3a4r7+YpnKw8e+sLBJtMUUtPcN/
 4Hyg==
X-Gm-Message-State: AOJu0YzR5ukHCp7yj0/TDtZxqTYvgVTvTHTEMZjpTxCQf9lFx4nBBYHX
 O+txPWdBJGVhrupvtqkZVVnAhS6sfQRYRDTj/as=
X-Google-Smtp-Source: AGHT+IHocvnQR6aTywdcLkLfb7ioyvyEWrVYM8YL/1N6nA6zRBESPvSKd/ymRtrqO8oVXqVVaiC9nqcLfw+1YPpdLpc=
X-Received: by 2002:a05:6512:3f28:b0:50e:95cf:e7b1 with SMTP id
 y40-20020a0565123f2800b0050e95cfe7b1mr452121lfa.9.1704885425687; Wed, 10 Jan
 2024 03:17:05 -0800 (PST)
Received: from 753933720722 named unknown by gmailapi.google.com with
 HTTPREST; Wed, 10 Jan 2024 03:17:05 -0800
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>
Subject: Re: bug#14551: compiler fails to track eval-when-compile in required
 files
To: Stefan Monnier <monnier@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 14551
Cc: Glenn Morris <rgm@HIDDEN>, 14551 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
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: -1.0 (-)

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?
Information forwarded to bug-gnu-emacs@HIDDEN:
bug#14551; Package emacs. Full text available.

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


Received: (at 14551) by debbugs.gnu.org; 3 Jun 2013 21:01:10 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 03 17:01:10 2013
Received: from localhost ([127.0.0.1]:49433 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.72)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1UjbsL-0001ey-Q3
	for submit <at> debbugs.gnu.org; Mon, 03 Jun 2013 17:01:10 -0400
Received: from ironport2-out.teksavvy.com ([206.248.154.182]:21266)
	by debbugs.gnu.org with esmtp (Exim 4.72)
	(envelope-from <monnier@HIDDEN>) id 1UjbsJ-0001eg-RF
	for 14551 <at> debbugs.gnu.org; Mon, 03 Jun 2013 17:01:08 -0400
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av4EABK/CFFFpYtM/2dsb2JhbABEvw4Xc4IeAQEEAVYjBQsLDiYSFBgNJIgeBsEtkQoDpHqBXoMT
X-IPAS-Result: Av4EABK/CFFFpYtM/2dsb2JhbABEvw4Xc4IeAQEEAVYjBQsLDiYSFBgNJIgeBsEtkQoDpHqBXoMT
X-IronPort-AV: E=Sophos;i="4.84,565,1355115600"; d="scan'208";a="15541920"
Received: from 69-165-139-76.dsl.teksavvy.com (HELO pastel.home)
	([69.165.139.76])
	by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA;
	03 Jun 2013 16:59:03 -0400
Received: by pastel.home (Postfix, from userid 20848)
	id 9012463332; Mon,  3 Jun 2013 16:59:07 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
To: Glenn Morris <rgm@HIDDEN>
Subject: Re: bug#14551: compiler fails to track eval-when-compile in required
	files
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
X-Spam-Score: -1.9 (-)
X-Debbugs-Envelope-To: 14551
Cc: 14551 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.13
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: -1.9 (-)

> 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
Information forwarded to bug-gnu-emacs@HIDDEN:
bug#14551; Package emacs. Full text available.

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


Received: (at submit) by debbugs.gnu.org; 3 Jun 2013 20:32:24 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 03 16:32:24 2013
Received: from localhost ([127.0.0.1]:49418 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.72)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1UjbQW-0000p6-5E
	for submit <at> debbugs.gnu.org; Mon, 03 Jun 2013 16:32:24 -0400
Received: from fencepost.gnu.org ([208.118.235.10]:51125 ident=Debian-exim)
	by debbugs.gnu.org with esmtp (Exim 4.72)
	(envelope-from <rgm@HIDDEN>) id 1UjbQU-0000p0-DH
	for submit <at> debbugs.gnu.org; Mon, 03 Jun 2013 16:32:23 -0400
Received: from rgm by fencepost.gnu.org with local (Exim 4.71)
	(envelope-from <rgm@HIDDEN>)
	id 1UjbOd-0001Jd-LY; Mon, 03 Jun 2013 16:30:27 -0400
From: Glenn Morris <rgm@HIDDEN>
To: submit <at> debbugs.gnu.org
Subject: compiler fails to track eval-when-compile in required files
X-Spook: CNCIS EuroFed Axis of Evil infowar encryption SRI
X-Ran: A&,ZMqXf|BspB3fnJU`W9&fNq3'lt1;ct;Jd=TWgr1}B|PR}N}-[NM3Q0}`#rvgl/0Nd{$
X-Hue: black
X-Debbugs-No-Ack: yes
X-Attribution: GM
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
X-Spam-Score: -5.5 (-----)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.13
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: -7.4 (-------)

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.
Report forwarded to bug-gnu-emacs@HIDDEN:
bug#14551; Package emacs. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
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.