GNU logs - #36079, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#36079: unhelpful error message
Resent-From: Robert Vollmert <rob@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Mon, 03 Jun 2019 20:43:02 +0000
Resent-Message-ID: <handler.36079.B.15595945517926 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: guile-bugs@HIDDEN
From: Robert Vollmert <rob@HIDDEN>
Content-Type: text/plain;
	charset=utf-8
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\))
Message-Id: <B29B30DE-0065-417C-8FBF-EFBB04F4531D@HIDDEN>
Date: Mon, 3 Jun 2019 22:42:09 +0200
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Working on Guix, I encountered the following:

Within a guix checkout, I edited gnu/packages/haskell.scm, accidentally
making a Haskell comment:

    (arguments
     `(#:tests? #f)) -- sporadic failure: =
https://github.com/fpco/streaming-commons/issues/49

Then I tried to keep working on my in-development package, and was able =
to trace
the `guix build` error back to the following:

$ ./pre-inst-env guild compile ../modules/postgrest.scm
;;; note: source file /home/rob/guix/gnu/packages/haskell.scm
;;;       newer than compiled /home/rob/guix/gnu/packages/haskell.go
;;; note: source file /home/rob/guix/gnu/packages/haskell.scm
;;;       newer than compiled =
/run/current-system/profile/lib/guile/2.2/site-ccache/gnu/packages/haskell=
.go
ice-9/boot-9.scm:752:25: In procedure dispatch-exception:
Syntax error:
unknown location: package: invalid field specifier in form =E2=80=94-

There are number of ways the error output could be improved. Ideally, =
I=E2=80=99d
like to see the offending line of gnu/packages/haskell.scm pin-pointed,
and/or the start of the enclosing package definition. But if that=E2=80=99=
s maybe
difficult due to macro expansion issues, at least knowing which file =
failed
to compile would be great. gnu/packages/haskell.scm does fail to compile
by itself:

$ guild compile gnu/packages/haskell.scm=20
ice-9/boot-9.scm:752:25: In procedure dispatch-exception:
Syntax error:
unknown location: package: invalid field specifier in form =E2=80=94-


This is on a pretty up to date Guix install.

$ guild --version
guild (GNU Guile) 2.2.4

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: Robert Vollmert <rob@HIDDEN>
Subject: bug#36079: Acknowledgement (unhelpful error message)
Message-ID: <handler.36079.B.15595945517926.ack <at> debbugs.gnu.org>
References: <B29B30DE-0065-417C-8FBF-EFBB04F4531D@HIDDEN>
X-Gnu-PR-Message: ack 36079
X-Gnu-PR-Package: guile
Reply-To: 36079 <at> debbugs.gnu.org
Date: Mon, 03 Jun 2019 20:43: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 36079 <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
36079: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D36079
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#36079: unhelpful error message
Resent-From: Ricardo Wurmus <rekado@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sun, 09 Jun 2019 20:10:02 +0000
Resent-Message-ID: <handler.36079.B36079.15601109968239 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 36079 <at> debbugs.gnu.org
Cc: Robert Vollmert <rob@HIDDEN>
References: <B29B30DE-0065-417C-8FBF-EFBB04F4531D@HIDDEN>
User-agent: mu4e 1.2.0; emacs 26.2
From: Ricardo Wurmus <rekado@HIDDEN>
In-reply-to: <B29B30DE-0065-417C-8FBF-EFBB04F4531D@HIDDEN>
Date: Sun, 09 Jun 2019 22:09:42 +0200
Message-ID: <87ftoicygp.fsf@HIDDEN>
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 Robert,

> Working on Guix, I encountered the following:
>
> Within a guix checkout, I edited gnu/packages/haskell.scm, accidentally
> making a Haskell comment:
>
>     (arguments
>      `(#:tests? #f)) -- sporadic failure: https://github.com/fpco/streami=
ng-commons/issues/49
>
> Then I tried to keep working on my in-development package, and was able t=
o trace
> the `guix build` error back to the following:
>
> $ ./pre-inst-env guild compile ../modules/postgrest.scm
> ;;; note: source file /home/rob/guix/gnu/packages/haskell.scm
> ;;;       newer than compiled /home/rob/guix/gnu/packages/haskell.go
> ;;; note: source file /home/rob/guix/gnu/packages/haskell.scm
> ;;;       newer than compiled /run/current-system/profile/lib/guile/2.2/s=
ite-ccache/gnu/packages/haskell.go
> ice-9/boot-9.scm:752:25: In procedure dispatch-exception:
> Syntax error:
> unknown location: package: invalid field specifier in form =E2=80=94-

This error is produced by the =E2=80=9Cpackage=E2=80=9D macro, which is of =
this form:

  (package
   (field value)
   (another-field its-value)
   =E2=80=A6)

The macro has a number of valid field names and it tries to do some
simple validation.  That=E2=80=99s where the error comes from.  When =E2=80=
=9C--=E2=80=9D is
encountered it is in the position of a field, so the macro tries to be
helpful and reports that =E2=80=9C--=E2=80=9D is not a valid way to specify=
 a field.

This error message is not produced by Guile.

> There are number of ways the error output could be improved. Ideally, I=
=E2=80=99d
> like to see the offending line of gnu/packages/haskell.scm pin-pointed,
> and/or the start of the enclosing package definition.

I agree that this would be nice.  Let=E2=80=99s move this to the Guix bug
tracker.

--
Ricardo

Message sent to bug-guile@HIDDEN:

Subject: bug#36079: unhelpful error message
Resent-From: Mark H Weaver <mhw@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Tue, 11 Jun 2019 00:33:02 +0000
Resent-Message-ID: <handler.36079.B36079.156021313715607 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Ricardo Wurmus <rekado@HIDDEN>
Cc: 36079 <at> debbugs.gnu.org, Robert Vollmert <rob@HIDDEN>
From: Mark H Weaver <mhw@HIDDEN>
References: <B29B30DE-0065-417C-8FBF-EFBB04F4531D@HIDDEN>
 <87ftoicygp.fsf@HIDDEN>
Date: Mon, 10 Jun 2019 20:29:48 -0400
In-Reply-To: <87ftoicygp.fsf@HIDDEN> (Ricardo Wurmus's message of "Sun,
 09 Jun 2019 22:09:42 +0200")
Message-ID: <87k1dt7ylk.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 Ricardo and Robert,

Ricardo Wurmus <rekado@HIDDEN> writes:

>> Working on Guix, I encountered the following:
>>
>> Within a guix checkout, I edited gnu/packages/haskell.scm, accidentally
>> making a Haskell comment:
>>
>>     (arguments
>>      `(#:tests? #f)) -- sporadic failure: https://github.com/fpco/stream=
ing-commons/issues/49
>>
>> Then I tried to keep working on my in-development package, and was able =
to trace
>> the `guix build` error back to the following:
>>
>> $ ./pre-inst-env guild compile ../modules/postgrest.scm
>> ;;; note: source file /home/rob/guix/gnu/packages/haskell.scm
>> ;;;       newer than compiled /home/rob/guix/gnu/packages/haskell.go
>> ;;; note: source file /home/rob/guix/gnu/packages/haskell.scm
>> ;;;       newer than compiled /run/current-system/profile/lib/guile/2.2/=
site-ccache/gnu/packages/haskell.go
>> ice-9/boot-9.scm:752:25: In procedure dispatch-exception:
>> Syntax error:
>> unknown location: package: invalid field specifier in form =E2=80=94-
>
> This error is produced by the =E2=80=9Cpackage=E2=80=9D macro, which is o=
f this form:
>
>   (package
>    (field value)
>    (another-field its-value)
>    =E2=80=A6)
>
> The macro has a number of valid field names and it tries to do some
> simple validation.  That=E2=80=99s where the error comes from.  When =E2=
=80=9C--=E2=80=9D is
> encountered it is in the position of a field, so the macro tries to be
> helpful and reports that =E2=80=9C--=E2=80=9D is not a valid way to speci=
fy a field.
>
> This error message is not produced by Guile.

Well, yes and no.  It is true that code in Guix is calling
'syntax-violation' to report the error.  However, it is also true that
Guix passes to 'syntax-violation' the syntax object corresponding to
=E2=80=9C--=E2=80=9D, which ideally should have source location information=
 attached to
it.  If the syntax object in question represented a list or some other
heap-allocated value, it *would* have had source location information
attached, and that would have been included in the error message.

This issue is a longstanding limitation in Guile's source location
tracking.  The problem is that Guile uses Scheme's standard 'read'
procedure to read the source code, which uses plain Scheme symbols to
represent identifiers.  Scheme symbols with the same name are
indistinguishable, i.e. every occurrence of 'x' or '--' is represented
by precisely the same heap object, and therefore there's no way to
attach source information to each occurrence of a symbol.

Fixing this would involve abandoning Scheme's standard 'read' procedure
for reading source code, and instead using a different reader (not yet
written) that uses a different object type to represent identifiers and
immediate values.  Our macro expander would need to be modified to
support this new representation.

I believe this should be done, and I hope to find the energy to do it
some day.

       Mark

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

Received: (at control) by debbugs.gnu.org; 30 Jun 2019 15:23:09 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 30 11:23:08 2019
Received: from localhost ([127.0.0.1]:47132 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1hhbfY-00061t-M8
	for submit <at> debbugs.gnu.org; Sun, 30 Jun 2019 11:23:08 -0400
Received: from eggs.gnu.org ([209.51.188.92]:57673)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1hhbfX-00061e-HB
 for control <at> debbugs.gnu.org; Sun, 30 Jun 2019 11:23:07 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:35084)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@HIDDEN>)
 id 1hhbfS-0004LC-Ci
 for control <at> debbugs.gnu.org; Sun, 30 Jun 2019 11:23:02 -0400
Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=39898 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <ludo@HIDDEN>) id 1hhbfR-0000su-Tb
 for control <at> debbugs.gnu.org; Sun, 30 Jun 2019 11:23:02 -0400
Date: Sun, 30 Jun 2019 17:22:58 +0200
Message-Id: <87r27brtbh.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
Subject: control message for bug #36079
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 36079 Source location information missing from identifiers
quit

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

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