GNU logs - #38388, boring messages

Message sent to wingo@HIDDEN, bug-guile@HIDDEN:

Subject: bug#38388: [2.9.5] Inaccurate source location info for unbound variables
Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: wingo@HIDDEN, bug-guile@HIDDEN
Resent-Date: Tue, 26 Nov 2019 15:21:01 +0000
Resent-Message-ID: <handler.38388.B.157478166010290 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: bug-Guile@HIDDEN
Cc: Andy Wingo <wingo@HIDDEN>
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
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
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

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.

Message sent:

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: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
Subject: bug#38388: Acknowledgement ([2.9.5] Inaccurate source location
 info for unbound variables)
Message-ID: <handler.38388.B.157478166010290.ack <at> debbugs.gnu.org>
References: <8736ea64vg.fsf@HIDDEN>
X-Gnu-PR-Message: ack 38388
X-Gnu-PR-Package: guile
Reply-To: 38388 <at> debbugs.gnu.org
Date: Tue, 26 Nov 2019 15:21:01 +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.

As you requested using X-Debbugs-CC, your message was also forwarded to
  Andy Wingo <wingo@HIDDEN>
(after having been given a bug report number, if it did not have one).

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 38388 <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
38388: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D38388
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#38388: [2.9.5] Inaccurate source location info for unbound variables
Resent-From: Andy Wingo <wingo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Wed, 27 Nov 2019 09:55:01 +0000
Resent-Message-ID: <handler.38388.B38388.157484845514123 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
Cc: 38388 <at> debbugs.gnu.org
From: Andy Wingo <wingo@HIDDEN>
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
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

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

Message sent to bug-guile@HIDDEN:

Subject: bug#38388: [2.9.5] Inaccurate source location info for unbound variables
Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Thu, 28 Nov 2019 08:22:02 +0000
Resent-Message-ID: <handler.38388.B38388.15749292689654 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Andy Wingo <wingo@HIDDEN>
Cc: 38388 <at> debbugs.gnu.org
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
References: <8736ea64vg.fsf@HIDDEN> <87o8wxabm3.fsf@HIDDEN>
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
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

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.

Message sent to bug-guile@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#38388: [2.9.5] Inaccurate source location info for unbound variables
Resent-From: Andy Wingo <wingo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 29 Nov 2019 11:05:01 +0000
Resent-Message-ID: <handler.38388.B38388.157502548420149 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 38388
X-GNU-PR-Package: guile
X-GNU-PR-Keywords: 
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludovic.courtes@HIDDEN>
Cc: 38388 <at> debbugs.gnu.org
Received: via spool by 38388-submit <at> debbugs.gnu.org id=B38388.157502548420149
          (code B ref 38388); Fri, 29 Nov 2019 11:05:01 +0000
Received: (at 38388) by debbugs.gnu.org; 29 Nov 2019 11:04:44 +0000
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>
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-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

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

Received: (at control) by debbugs.gnu.org; 22 Jan 2020 14:14:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Jan 22 09:14:30 2020
Received: from localhost ([127.0.0.1]:49259 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1iuGm6-0003jN-Oh
	for submit <at> debbugs.gnu.org; Wed, 22 Jan 2020 09:14:30 -0500
Received: from eggs.gnu.org ([209.51.188.92]:48749)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1iuGm5-0003j8-78
 for control <at> debbugs.gnu.org; Wed, 22 Jan 2020 09:14:29 -0500
Received: from fencepost.gnu.org ([2001:470:142:3::e]:37719)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@HIDDEN>)
 id 1iuGm0-0002qD-4q
 for control <at> debbugs.gnu.org; Wed, 22 Jan 2020 09:14:24 -0500
Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=52674 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <ludo@HIDDEN>) id 1iuGlz-0008Rh-Hp
 for control <at> debbugs.gnu.org; Wed, 22 Jan 2020 09:14:24 -0500
Date: Wed, 22 Jan 2020 15:14:22 +0100
Message-Id: <87sgk7bmtd.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
Subject: control message for bug #38388
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: control
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 (---)

retitle 38388 [3.0.0] Inaccurate source location info for unbound variables
quit

Last modified: Wed, 22 Jan 2020 14:30:02 UTC

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