Ludovic Courtès <ludo@HIDDEN>
to control <at> debbugs.gnu.org.
Full text available.
Received: (at 38388) by debbugs.gnu.org; 29 Nov 2019 11:04:44 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Nov 29 06:04:44 2019
Received: from localhost ([127.0.0.1]:59417 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1iae4q-0005Er-9T
for submit <at> debbugs.gnu.org; Fri, 29 Nov 2019 06:04:44 -0500
Received: from fanzine.igalia.com ([178.60.130.6]:40479)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <wingo@HIDDEN>) id 1iae4n-0005Eb-Kn
for 38388 <at> debbugs.gnu.org; Fri, 29 Nov 2019 06:04:42 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=igalia.com;
s=20170329;
h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:References:Subject:Cc:To:From;
bh=m7TklSAcyejkBpUQcYZf4euH8bde5eCv5hTW+c75Rb4=;
b=dBYbq/e2RUPwFM7AsLC2aMrIiud/hNfhHw2+TGCeOakYJ0d9ndh5aayV64FJF/5e0VCvlye1/p9LX4TjDnacXLGuPAbj0XHdCbiN6ZeXpICbId4JESEjtMOH4zNy+YMyLrC6nk/6ESJmnDoJdx5TCYK9Map6pgM3BvXT96Kq0fTiMOtgsqNuv6AW4aR8Vly6/zBnLy7wCfrN+L+w6mr7brFOOj+FNSWXVsab2pslmMIM/INipx3aL0p/miuf3RIyccGmz1r3abpI0Iu40lGm/eoXSSZus6BYCkgj3GmdG+gtcFCbdvwu54NkmJx8PNbJdTTBEdqw4YuiYo5dFIV2Rg==;
Received: from lfbn-ann-1-376-195.w86-200.abo.wanadoo.fr ([86.200.91.195]
helo=milano) by fanzine.igalia.com with esmtpsa
(Cipher TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim)
id 1iae4g-0000fp-4m; Fri, 29 Nov 2019 12:04:34 +0100
From: Andy Wingo <wingo@HIDDEN>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
Subject: Re: bug#38388: [2.9.5] Inaccurate source location info for unbound
variables
References: <8736ea64vg.fsf@HIDDEN> <87o8wxabm3.fsf@HIDDEN>
<87y2w0za1h.fsf@HIDDEN>
Date: Fri, 29 Nov 2019 12:04:24 +0100
In-Reply-To: <87y2w0za1h.fsf@HIDDEN> ("Ludovic
\=\?utf-8\?Q\?Court\=C3\=A8s\=22\?\=
\=\?utf-8\?Q\?'s\?\= message of "Thu, 28 Nov 2019 09:20:58 +0100")
Message-ID: <87eexrc5af.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 38388
Cc: 38388 <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 (-)
On Thu 28 Nov 2019 09:20, Ludovic Court=C3=A8s <ludovic.courtes@HIDDEN> w=
rites:
>>> I have a test that runs =E2=80=98guix system build=E2=80=99 on this fil=
e:
>>>
>>> (use-modules (gnu)) ; 1
>>> (use-service-modules networking) ; 2
>>>
>>> (operating-system ; 4
>>> (host-name "antelope") ; 5
>>> (timezone "Europe/Paris") ; 6
>>> (locale "en_US.UTF-8") ; 7
>>>
>>> (bootloader (GRUB-config (target "/dev/sdX"))) ; 9
>>> (file-systems (cons (file-system
>>> (device (file-system-label "root"))
>>> (mount-point "/")
>>> (type "ext4"))
>>> %base-file-systems)))
>>>
>>> Here, =E2=80=98GRUB-config=E2=80=99 is unbound, and the test expects to=
see a stack
>>> frame corresponding to line 9.
>>>
>>> However, the stack frame we get is for line 11, char 32, which
>>> corresponds to (file-system-label "root").
>
> Any idea where I should poke for debugging?
Sure would be nice to reduce the test case! Once you have reduced it, I
would first look at the result of ,expand on this form. If it looks the
same as in 2.2, then perhaps the CPS layer is at fault. Could be we're
dropping an important source location somewher.
Andy
bug-guile@HIDDEN:bug#38388; Package guile.
Full text available.Received: (at 38388) by debbugs.gnu.org; 28 Nov 2019 08:21:08 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Nov 28 03:21:07 2019 Received: from localhost ([127.0.0.1]:56584 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1iaF2x-0002Vd-MX for submit <at> debbugs.gnu.org; Thu, 28 Nov 2019 03:21:07 -0500 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:32908) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ludovic.courtes@HIDDEN>) id 1iaF2w-0002Ub-41 for 38388 <at> debbugs.gnu.org; Thu, 28 Nov 2019 03:21:06 -0500 X-IronPort-AV: E=Sophos;i="5.69,252,1571695200"; d="scan'208";a="413898079" Received: from unknown (HELO ribbon) ([193.50.110.248]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 28 Nov 2019 09:20:59 +0100 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludovic.courtes@HIDDEN> To: Andy Wingo <wingo@HIDDEN> Subject: Re: bug#38388: [2.9.5] Inaccurate source location info for unbound variables References: <8736ea64vg.fsf@HIDDEN> <87o8wxabm3.fsf@HIDDEN> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 8 Frimaire an 228 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Thu, 28 Nov 2019 09:20:58 +0100 In-Reply-To: <87o8wxabm3.fsf@HIDDEN> (Andy Wingo's message of "Wed, 27 Nov 2019 10:53:56 +0100") Message-ID: <87y2w0za1h.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 38388 Cc: 38388 <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: -6.0 (------) Hello! Andy Wingo <wingo@HIDDEN> skribis: > On Tue 26 Nov 2019 16:20, Ludovic Court=C3=A8s <ludovic.courtes@HIDDEN>= writes: > >> I have a test that runs =E2=80=98guix system build=E2=80=99 on this file: >> >> (use-modules (gnu)) ; 1 >> (use-service-modules networking) ; 2 >> >> (operating-system ; 4 >> (host-name "antelope") ; 5 >> (timezone "Europe/Paris") ; 6 >> (locale "en_US.UTF-8") ; 7 >> >> (bootloader (GRUB-config (target "/dev/sdX"))) ; 9 >> (file-systems (cons (file-system >> (device (file-system-label "root")) >> (mount-point "/") >> (type "ext4")) >> %base-file-systems))) >> >> Here, =E2=80=98GRUB-config=E2=80=99 is unbound, and the test expects to = see a stack >> frame corresponding to line 9. >> >> However, the stack frame we get is for line 11, char 32, which >> corresponds to (file-system-label "root"). >> >> So it would seem that the IP-to-source-location mapping is not quite >> working as expected. >> >> Thoughts? > > What version is this with? The wrong location info is with 2.9.5. 2.2.x (and 2.0.x) work fine. Any idea where I should poke for debugging? > Unfortunately as you know, bare identifiers don't have good source > location information. There are small improvements that can be made but > larger improvments are gnarly. Could be this is a case for a small > improvement though! I know, that=E2=80=99s why this test checks a favorable case (symbol wrappe= d in an sexp). So I agree this would be a welcome improvement, but I think it=E2=80=99s unnecessary for the purposes of the use case above. Thanks, Ludo=E2=80=99.
bug-guile@HIDDEN:bug#38388; Package guile.
Full text available.
Received: (at 38388) by debbugs.gnu.org; 27 Nov 2019 09:54:15 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Nov 27 04:54:15 2019
Received: from localhost ([127.0.0.1]:53454 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1iZu1X-0003fi-0X
for submit <at> debbugs.gnu.org; Wed, 27 Nov 2019 04:54:15 -0500
Received: from fanzine.igalia.com ([178.60.130.6]:44634)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <wingo@HIDDEN>) id 1iZu1U-0003fT-OQ
for 38388 <at> debbugs.gnu.org; Wed, 27 Nov 2019 04:54:13 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=igalia.com;
s=20170329;
h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:References:Subject:Cc:To:From;
bh=pjL+JolKu9RIgx5X1TZxFncYEQdKvHZNFM0ObmS2e8Y=;
b=GxkiZU+v44ZwhGr+ForiJmTRgNs9j5l8j/MISiJucLYPz0wYdiTe1RtRavfFVxxzfN3mt7JI2yxdkcewsJXz703b2X1WTEBcVGz+VXnVPWvgaUXnlpu6UeiYi08fLRwM1CWkrrc/MpOq6QKW+SW7tADacyvAdvxanlye7pX8ImMWVTU9AyrYfE7dglsWycTWEqmcWUjDyzY37lrkk/VhLvdpu6Tw9keWDOG2NChgUtadx/B30rvCC+aMyjIVW9yZFbIo11EThHp8UVa9DLQ7H29Un+yT1k6e7BwHhPjXq9JOrXTy4YTgiuxM6SiT5O0eJjVX2/84DCoqybWay7FnoA==;
Received: from lfbn-ann-1-376-195.w86-200.abo.wanadoo.fr ([86.200.91.195]
helo=milano) by fanzine.igalia.com with esmtpsa
(Cipher TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim)
id 1iZu1N-0000sd-Ht; Wed, 27 Nov 2019 10:54:05 +0100
From: Andy Wingo <wingo@HIDDEN>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
Subject: Re: bug#38388: [2.9.5] Inaccurate source location info for unbound
variables
References: <8736ea64vg.fsf@HIDDEN>
Date: Wed, 27 Nov 2019 10:53:56 +0100
In-Reply-To: <8736ea64vg.fsf@HIDDEN> ("Ludovic
\=\?utf-8\?Q\?Court\=C3\=A8s\=22\?\=
\=\?utf-8\?Q\?'s\?\= message of "Tue, 26 Nov 2019 16:20:51 +0100")
Message-ID: <87o8wxabm3.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 38388
Cc: 38388 <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 (-)
Hi,
On Tue 26 Nov 2019 16:20, Ludovic Court=C3=A8s <ludovic.courtes@HIDDEN> w=
rites:
> I have a test that runs =E2=80=98guix system build=E2=80=99 on this file:
>
> (use-modules (gnu)) ; 1
> (use-service-modules networking) ; 2
>
> (operating-system ; 4
> (host-name "antelope") ; 5
> (timezone "Europe/Paris") ; 6
> (locale "en_US.UTF-8") ; 7
>
> (bootloader (GRUB-config (target "/dev/sdX"))) ; 9
> (file-systems (cons (file-system
> (device (file-system-label "root"))
> (mount-point "/")
> (type "ext4"))
> %base-file-systems)))
>
> Here, =E2=80=98GRUB-config=E2=80=99 is unbound, and the test expects to s=
ee a stack
> frame corresponding to line 9.
>
> However, the stack frame we get is for line 11, char 32, which
> corresponds to (file-system-label "root").
>
> So it would seem that the IP-to-source-location mapping is not quite
> working as expected.
>
> Thoughts?
What version is this with?
Unfortunately as you know, bare identifiers don't have good source
location information. There are small improvements that can be made but
larger improvments are gnarly. Could be this is a case for a small
improvement though!
Andy
bug-guile@HIDDEN:bug#38388; Package guile.
Full text available.
Received: (at submit) by debbugs.gnu.org; 26 Nov 2019 15:21:00 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Nov 26 10:21:00 2019
Received: from localhost ([127.0.0.1]:52729 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1iZceC-0002fu-J3
for submit <at> debbugs.gnu.org; Tue, 26 Nov 2019 10:21:00 -0500
Received: from lists.gnu.org ([209.51.188.17]:46521)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <ludovic.courtes@HIDDEN>) id 1iZceA-0002fm-MW
for submit <at> debbugs.gnu.org; Tue, 26 Nov 2019 10:20:59 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10]:56686)
by lists.gnu.org with esmtp (Exim 4.90_1)
(envelope-from <ludovic.courtes@HIDDEN>) id 1iZce9-0002dZ-I1
for bug-Guile@HIDDEN; Tue, 26 Nov 2019 10:20:58 -0500
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level:
X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_HI
autolearn=disabled version=3.3.2
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
(envelope-from <ludovic.courtes@HIDDEN>) id 1iZce8-0000oa-5V
for bug-Guile@HIDDEN; Tue, 26 Nov 2019 10:20:57 -0500
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:7440)
by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
(Exim 4.71) (envelope-from <ludovic.courtes@HIDDEN>)
id 1iZce7-0000l6-Rx
for bug-Guile@HIDDEN; Tue, 26 Nov 2019 10:20:56 -0500
X-IronPort-AV: E=Sophos;i="5.69,246,1571695200"; d="scan'208";a="328085020"
Received: from nat-eduroam-36-gw-01-bso.bordeaux.inria.fr (HELO ribbon)
([194.199.1.36])
by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384;
26 Nov 2019 16:20:52 +0100
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludovic.courtes@HIDDEN>
To: bug-Guile@HIDDEN
Subject: [2.9.5] Inaccurate source location info for unbound variables
X-Debbugs-Cc: Andy Wingo <wingo@HIDDEN>
X-URL: http://www.fdn.fr/~lcourtes/
X-Revolutionary-Date: 6 Frimaire an 228 de la =?utf-8?Q?R=C3=A9volution?=
X-PGP-Key-ID: 0x090B11993D9AEBB5
X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc
X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5
X-OS: x86_64-pc-linux-gnu
Date: Tue, 26 Nov 2019 16:20:51 +0100
Message-ID: <8736ea64vg.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
recognized.
X-Received-From: 192.134.164.104
X-Spam-Score: -1.3 (-)
X-Debbugs-Envelope-To: submit
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 (--)
Hello,
I have a test that runs =E2=80=98guix system build=E2=80=99 on this file:
--8<---------------cut here---------------start------------->8---
(use-modules (gnu)) ; 1
(use-service-modules networking) ; 2
(operating-system ; 4
(host-name "antelope") ; 5
(timezone "Europe/Paris") ; 6
(locale "en_US.UTF-8") ; 7
(bootloader (GRUB-config (target "/dev/sdX"))) ; 9
(file-systems (cons (file-system
(device (file-system-label "root"))
(mount-point "/")
(type "ext4"))
%base-file-systems)))
--8<---------------cut here---------------end--------------->8---
Here, =E2=80=98GRUB-config=E2=80=99 is unbound, and the test expects to see=
a stack
frame corresponding to line 9.
However, the stack frame we get is for line 11, char 32, which
corresponds to (file-system-label "root").
So it would seem that the IP-to-source-location mapping is not quite
working as expected.
Thoughts?
Ludo=E2=80=99.
Ludovic Courtès <ludovic.courtes@HIDDEN>:wingo@HIDDEN, bug-guile@HIDDEN.
Full text available.wingo@HIDDEN, bug-guile@HIDDEN:bug#38388; Package guile.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.