X-Loop: help-debbugs@HIDDEN
Subject: bug#74210: No unbound variable warning when via 'export'
Resent-From: Maxime Devos <maximedevos@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Tue, 05 Nov 2024 09:24:01 +0000
Resent-Message-ID: <handler.74210.B.17307986131789 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 74210
X-GNU-PR-Package: guile
X-GNU-PR-Keywords:
To: 74210 <at> debbugs.gnu.org
X-Debbugs-Original-To: "bug-guile@HIDDEN" <bug-guile@HIDDEN>
Received: via spool by submit <at> debbugs.gnu.org id=B.17307986131789
(code B ref -1); Tue, 05 Nov 2024 09:24:01 +0000
Received: (at submit) by debbugs.gnu.org; 5 Nov 2024 09:23:33 +0000
Received: from localhost ([127.0.0.1]:43483 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1t8Fmf-0000Sn-0l
for submit <at> debbugs.gnu.org; Tue, 05 Nov 2024 04:23:33 -0500
Received: from lists.gnu.org ([209.51.188.17]:56618)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <maximedevos@HIDDEN>) id 1t8Fmb-0000Sh-PJ
for submit <at> debbugs.gnu.org; Tue, 05 Nov 2024 04:23:32 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10])
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <maximedevos@HIDDEN>)
id 1t8Fmb-0007u2-Ij
for bug-guile@HIDDEN; Tue, 05 Nov 2024 04:23:29 -0500
Received: from laurent.telenet-ops.be ([2a02:1800:110:4::f00:19])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
(Exim 4.90_1) (envelope-from <maximedevos@HIDDEN>)
id 1t8FmY-0003qt-MF
for bug-guile@HIDDEN; Tue, 05 Nov 2024 04:23:29 -0500
Received: from [IPv6:2a02:1811:8c0e:ef00:28f7:a748:a738:4cef]
([IPv6:2a02:1811:8c0e:ef00:28f7:a748:a738:4cef])
by laurent.telenet-ops.be with cmsmtp
id YxPN2D0014tRJL601xPNwn; Tue, 05 Nov 2024 10:23:23 +0100
Message-ID: <20241105102323.YxPN2D0014tRJL601xPNwn@HIDDEN>
MIME-Version: 1.0
From: Maxime Devos <maximedevos@HIDDEN>
Date: Tue, 5 Nov 2024 10:23:20 +0100
Importance: normal
X-Priority: 3
In-Reply-To: <0effbe63-caee-a08b-77e0-576c3fe4b25c@HIDDEN>
References: <ff0a315c-44ce-8c95-fc4b-a326f301c741@HIDDEN>
<20241104214356.Ykjw2D0014tRJL601kjwhV@HIDDEN>
<0effbe63-caee-a08b-77e0-576c3fe4b25c@HIDDEN>
Content-Type: multipart/alternative;
boundary="_B6F4771F-98C5-4E8B-A640-CCFB08A42CAC_"
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r24;
t=1730798603; bh=yVrcIDMisnBg3Km9jVivb6GVqTGhRx+VQHzhx1EvJwA=;
h=Message-ID:MIME-Version:To:From:Subject:Date:In-Reply-To:
References:Content-Type:From;
b=bw3FVJFq3DWDwZpjc2ywMIUhgF2+9ocpkWu6VRoRodV6wL3qrHVY4Y6jyGNnqy/vr
gbwj6GaiLsJptlG2D7HKaKk9ENkQDjZbR7ypHYEfx+jGBc/LCME28gK6rMWYzOGzkQ
i1AbjlMLqqkxPPxk6EbRi3qDO6LP9x25defSIgW1oH84ykxwsZdM5OGO1GFybyrrGP
V1ujy/U8uTvP8n7M0cYaXzNS4YUTSewF6+thtPVsqU/I2zmdO9fNGGyySci6JPrU0P
wnq69HWgHdcjyw11oBPlrL1z5xIhhdC/3TqLTBGnchWpVgUeVYY3af6BvXmXrdoPUf
gnV5cKm0hZIRg==
Received-SPF: pass client-ip=2a02:1800:110:4::f00:19;
envelope-from=maximedevos@HIDDEN; helo=laurent.telenet-ops.be
X-Spam_score_int: -17
X-Spam_score: -1.8
X-Spam_bar: -
X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
FREEMAIL_REPLY=1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7,
SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -0.3 (/)
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: -2.3 (--)
--_B6F4771F-98C5-4E8B-A640-CCFB08A42CAC_
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"
Forwarded e-mail/bug report from guile-devel
From: Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa
Date: dinsdag 5 november 2024 8:25
To: guile-devel@HIDDEN
Subject: Re: Exporting a nonexistent variable
Here is another example:
--- mod1.scm ---
(define-module (mod1))
(export myproc)
(define (myproc0)
=C2=A0 (display "Hello\n"))
--- end ---
--- mod2.scm ---
(define-module (mod2))
(export myproc2)
(use-modules (mod1))
(define (myproc2)
=C2=A0 (display "Hello again\n"))
--- end ---
--- program.scm ---
(use-modules (mod1)
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (=
mod2))
(define (main args)
=C2=A0 (myproc))
--- end ---
I compiled this example with the following commands:
--- cut here ---
export GUILE_LOAD_COMPILED_PATH=3D.
guild compile --warn=3Dunbound-variable -o mod1.go mod1.scm
guild compile --warn=3Dunbound-variable -o mod2.go mod2.scm
--- cut here ---
The compiler gives no warnings and running "guile -e main -s=20
program.scm" gives the following error:
--- cut here ---
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=3D0
;;;=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 or pass the --no-auto-compile argum=
ent to disable.
;;; compiling /home/tohoyn/tyo/omat/ohj/scheme/export-test3/program.scm
;;; compiled=20
/home/tohoyn/git/savannah/guile/cache/guile/ccache/3.0-LE-8-4.7/home/tohoyn=
/tyo/omat/ohj/scheme/export-test3/program.scm.go
Backtrace:
In ice-9/boot-9.scm:
=C2=A0 1762:12=C2=A0 4 (with-exception-handler _ _ #:unwind? _ # _)
In unknown file:
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 3 (apply-smob=
/0 #<thunk 7f2fda699300>)
In ice-9/boot-9.scm:
=C2=A0=C2=A0=C2=A0 731:2=C2=A0 2 (call-with-prompt _ _ #<procedure default=
-prompt-handle=E2=80=A6>)
In ice-9/eval.scm:
=C2=A0=C2=A0=C2=A0 619:8=C2=A0 1 (_ #(#(#<directory (guile-user) 7f2fda69c=
c80>)))
In /home/tohoyn/tyo/omat/ohj/scheme/export-test3/program.scm:
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 6:3=C2=A0 0 (main _)
/home/tohoyn/tyo/omat/ohj/scheme/export-test3/program.scm:6:3: In=20
procedure main:
Unbound variable: myproc
--- cut here ---
=C2=A0=C2=A0=C2=A0=C2=A0 - Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa
--=20
Kotisivu / Homepage: http://www.iki.fi/tohoyn/
S=C3=A4hk=C3=B6posti / E-Mail: tommi.hoynalanmaa@HIDDEN
GPG-sormenj=C3=A4lki / GPG fingerprint:
55F4 2477 7155 3528 5CB2 2B7A BB86 1FDE 4046 0F83
FT, Debian-yll=C3=A4pit=C3=A4j=C3=A4 / PhD, Debian Maintainer
--_B6F4771F-98C5-4E8B-A640-CCFB08A42CAC_
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset="utf-8"
<html xmlns:o=3D"urn:schemas-microsoft-com:office:office" xmlns:w=3D"urn:sc=
hemas-microsoft-com:office:word" xmlns:m=3D"http://schemas.microsoft.com/of=
fice/2004/12/omml" xmlns=3D"http://www.w3.org/TR/REC-html40"><head><meta ht=
tp-equiv=3DContent-Type content=3D"text/html; charset=3Dutf-8"><meta name=
=3DGenerator content=3D"Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style></head><body lang=3DNL-BE link=3Dblue vlink=3D"#954F72" style=3D=
'word-wrap:break-word'><div class=3DWordSection1><p class=3DMsoNormal>Forwa=
rded e-mail/bug report from guile-devel</p><p class=3DMsoNormal><o:p> =
</o:p></p><div style=3D'mso-element:para-border-div;border:none;border-top:=
solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm'><p class=3DMsoNormal style=
=3D'border:none;padding:0cm'><b>From: </b><a href=3D"mailto:tommi.hoynalanm=
aa@HIDDEN">Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa</a><br><b>Date: </b>dinsdag =
5 november 2024 8:25<br><b>To: </b><a href=3D"mailto:guile-devel@HIDDEN">g=
uile-devel@HIDDEN</a><br><b>Subject: </b>Re: Exporting a nonexistent varia=
ble</p></div><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal=
>Here is another example:</p><p class=3DMsoNormal><o:p> </o:p></p><p c=
lass=3DMsoNormal>--- mod1.scm ---</p><p class=3DMsoNormal>(define-module (m=
od1))</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>(ex=
port myproc)</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNor=
mal>(define (myproc0)</p><p class=3DMsoNormal> (display "Hello\=
n"))</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal=
>--- end ---</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNor=
mal>--- mod2.scm ---</p><p class=3DMsoNormal>(define-module (mod2))</p><p c=
lass=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>(export myproc2)=
</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>(use-mod=
ules (mod1))</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNor=
mal>(define (myproc2)</p><p class=3DMsoNormal> (display "Hello =
again\n"))</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMso=
Normal>--- end ---</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3D=
MsoNormal>--- program.scm ---</p><p class=3DMsoNormal>(use-modules (mod1)</=
p><p class=3DMsoNormal> &nb=
sp; (mod2))</p><p class=3DMsoNormal><o:p> </o:p></p>=
<p class=3DMsoNormal>(define (main args)</p><p class=3DMsoNormal> (m=
yproc))</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>-=
-- end ---</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNorma=
l>I compiled this example with the following commands:</p><p class=3DMsoNor=
mal><o:p> </o:p></p><p class=3DMsoNormal>--- cut here ---</p><p class=
=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>export GUILE_LOAD_CO=
MPILED_PATH=3D.</p><p class=3DMsoNormal>guild compile --warn=3Dunbound-vari=
able -o mod1.go mod1.scm</p><p class=3DMsoNormal>guild compile --warn=3Dunb=
ound-variable -o mod2.go mod2.scm</p><p class=3DMsoNormal><o:p> </o:p>=
</p><p class=3DMsoNormal>--- cut here ---</p><p class=3DMsoNormal><o:p>&nbs=
p;</o:p></p><p class=3DMsoNormal>The compiler gives no warnings and running=
"guile -e main -s </p><p class=3DMsoNormal>program.scm" gives th=
e following error:</p><p class=3DMsoNormal><o:p> </o:p></p><p class=3D=
MsoNormal>--- cut here ---</p><p class=3DMsoNormal><o:p> </o:p></p><p =
class=3DMsoNormal>;;; note: auto-compilation is enabled, set GUILE_AUTO_COM=
PILE=3D0</p><p class=3DMsoNormal>;;; or=
pass the --no-auto-compile argument to disable.</p><p class=3DMsoNormal>;;=
; compiling /home/tohoyn/tyo/omat/ohj/scheme/export-test3/program.scm</p><p=
class=3DMsoNormal>;;; compiled </p><p class=3DMsoNormal>/home/tohoyn/git/s=
avannah/guile/cache/guile/ccache/3.0-LE-8-4.7/home/tohoyn/tyo/omat/ohj/sche=
me/export-test3/program.scm.go</p><p class=3DMsoNormal>Backtrace:</p><p cla=
ss=3DMsoNormal>In ice-9/boot-9.scm:</p><p class=3DMsoNormal> 1762:12=
4 (with-exception-handler _ _ #:unwind? _ # _)</p><p class=3DMsoNorm=
al>In unknown file:</p><p class=3DMsoNormal> =
3 (apply-smob/0 #<thunk 7f2fda699300>)=
</p><p class=3DMsoNormal>In ice-9/boot-9.scm:</p><p class=3DMsoNormal> &nbs=
p; 731:2 2 (call-with-prompt _ _ #<procedure default-p=
rompt-handle=E2=80=A6>)</p><p class=3DMsoNormal>In ice-9/eval.scm:</p><p=
class=3DMsoNormal> 619:8 1 (_ #(#(#<directory =
(guile-user) 7f2fda69cc80>)))</p><p class=3DMsoNormal>In /home/tohoyn/ty=
o/omat/ohj/scheme/export-test3/program.scm:</p><p class=3DMsoNormal> =
6:3 0 (main _)</p><p class=3DMsoNormal><o:p>=
</o:p></p><p class=3DMsoNormal>/home/tohoyn/tyo/omat/ohj/scheme/expor=
t-test3/program.scm:6:3: In </p><p class=3DMsoNormal>procedure main:</p><p =
class=3DMsoNormal>Unbound variable: myproc</p><p class=3DMsoNormal><o:p>&nb=
sp;</o:p></p><p class=3DMsoNormal>--- cut here ---</p><p class=3DMsoNormal>=
<o:p> </o:p></p><p class=3DMsoNormal> - Tommi=
H=C3=B6yn=C3=A4l=C3=A4nmaa</p><p class=3DMsoNormal><o:p> </o:p></p><p=
class=3DMsoNormal>-- </p><p class=3DMsoNormal>Kotisivu / Homepage: http://=
www.iki.fi/tohoyn/</p><p class=3DMsoNormal>S=C3=A4hk=C3=B6posti / E-Mail: t=
ommi.hoynalanmaa@HIDDEN</p><p class=3DMsoNormal>GPG-sormenj=C3=A4lki / GPG =
fingerprint:</p><p class=3DMsoNormal>55F4 2477 7155 3528 5CB2 2B7A BB86 1FD=
E 4046 0F83</p><p class=3DMsoNormal>FT, Debian-yll=C3=A4pit=C3=A4j=C3=A4 / =
PhD, Debian Maintainer</p><p class=3DMsoNormal><o:p> </o:p></p><p clas=
s=3DMsoNormal><o:p> </o:p></p></div></body></html>=
--_B6F4771F-98C5-4E8B-A640-CCFB08A42CAC_--
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Maxime Devos <maximedevos@HIDDEN> Subject: bug#74210: Acknowledgement (No unbound variable warning when via 'export') Message-ID: <handler.74210.B.17307986131789.ack <at> debbugs.gnu.org> References: <20241105102323.YxPN2D0014tRJL601xPNwn@HIDDEN> X-Gnu-PR-Message: ack 74210 X-Gnu-PR-Package: guile Reply-To: 74210 <at> debbugs.gnu.org Date: Tue, 05 Nov 2024 09:24:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. 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-guile@HIDDEN If you wish to submit further information on this problem, please send it to 74210 <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 74210: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D74210 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.