Received: (at 46241) by debbugs.gnu.org; 19 Feb 2021 15:14:18 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Feb 19 10:14:18 2021 Received: from localhost ([127.0.0.1]:50127 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1lD7U2-0004Dp-3y for submit <at> debbugs.gnu.org; Fri, 19 Feb 2021 10:14:18 -0500 Received: from eggs.gnu.org ([209.51.188.92]:51350) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1lD7Ty-0004DM-Vt for 46241 <at> debbugs.gnu.org; Fri, 19 Feb 2021 10:14:15 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:50467) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from <ludo@HIDDEN>) id 1lD7Ts-0006Gb-VJ; Fri, 19 Feb 2021 10:14:08 -0500 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=49776 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from <ludo@HIDDEN>) id 1lD7Ts-0000q2-ET; Fri, 19 Feb 2021 10:14:08 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN> To: jbranso--- via Bug reports for GNU Guix <bug-guix@HIDDEN> Subject: Re: bug#46241: Guile Macros did not print the error-line-number ? References: <87r1lzodwl.fsf@HIDDEN> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 1 =?utf-8?Q?Vent=C3=B4se?= an 229 de la =?utf-8?Q?R?= =?utf-8?Q?=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: Fri, 19 Feb 2021 16:14:07 +0100 In-Reply-To: <87r1lzodwl.fsf@HIDDEN> (jbranso's message of "Mon, 01 Feb 2021 13:12:42 -0500") Message-ID: <877dn4m6o0.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 46241 Cc: bug-guile@HIDDEN, Joshua Branson <jbranso@HIDDEN>, 46241 <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.7 (-) Hi Joshua, jbranso--- via Bug reports for GNU Guix <bug-guix@HIDDEN> skribis: > Recently on irc, I posted an example of an incorrectly used > define-record-type* NOT displaying an error line number. > > mdevos mentioned that this could potentially be fixed in (guix > records), but it may also be a guile compile bug as well. > > First here is a (guix records) example: > > #+BEGIN_SRC scheme > (use-modules (guix records)) > > (define-record-type* <sway-bindsym> > sway-bindsym make-sway-bindsym > sway-bindsym? > (key-combo sway-bindsym-key-combo > (default ""))) > > (display sway-bindsym) ;; compile error at unknown location > ;; (display (sway-bindsym)) this is one "correct" way to call this code > #+END_SRC Source location info is missing because currently (as of 3.0.5), Guile keeps location info in the form of =E2=80=9Csource properties=E2=80=9D only= for lists. The =E2=80=98sway-bindsym=E2=80=99 symbol above has no associated location = info. This may change in the near future as Andy has been rewriting =E2=80=98read= =E2=80=99 (the Scheme =E2=80=9Cparser=E2=80=9D) in Scheme, among other things. Ludo=E2=80=99.
bug-guix@HIDDEN:bug#46241; Package guix.
Full text available.Received: (at submit) by debbugs.gnu.org; 19 Feb 2021 15:14:12 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Feb 19 10:14:12 2021 Received: from localhost ([127.0.0.1]:50124 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1lD7Tv-0004DV-PS for submit <at> debbugs.gnu.org; Fri, 19 Feb 2021 10:14:12 -0500 Received: from lists.gnu.org ([209.51.188.17]:56296) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1lD7Tu-0004DO-Dq for submit <at> debbugs.gnu.org; Fri, 19 Feb 2021 10:14:10 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:40978) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <ludo@HIDDEN>) id 1lD7Tu-0004m6-4F; Fri, 19 Feb 2021 10:14:10 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:50467) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from <ludo@HIDDEN>) id 1lD7Ts-0006Gb-VJ; Fri, 19 Feb 2021 10:14:08 -0500 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=49776 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from <ludo@HIDDEN>) id 1lD7Ts-0000q2-ET; Fri, 19 Feb 2021 10:14:08 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN> To: jbranso--- via Bug reports for GNU Guix <bug-guix@HIDDEN> Subject: Re: bug#46241: Guile Macros did not print the error-line-number ? References: <87r1lzodwl.fsf@HIDDEN> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 1 =?utf-8?Q?Vent=C3=B4se?= an 229 de la =?utf-8?Q?R?= =?utf-8?Q?=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: Fri, 19 Feb 2021 16:14:07 +0100 In-Reply-To: <87r1lzodwl.fsf@HIDDEN> (jbranso's message of "Mon, 01 Feb 2021 13:12:42 -0500") Message-ID: <877dn4m6o0.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit Cc: bug-guile@HIDDEN, Joshua Branson <jbranso@HIDDEN>, 46241 <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 (---) Hi Joshua, jbranso--- via Bug reports for GNU Guix <bug-guix@HIDDEN> skribis: > Recently on irc, I posted an example of an incorrectly used > define-record-type* NOT displaying an error line number. > > mdevos mentioned that this could potentially be fixed in (guix > records), but it may also be a guile compile bug as well. > > First here is a (guix records) example: > > #+BEGIN_SRC scheme > (use-modules (guix records)) > > (define-record-type* <sway-bindsym> > sway-bindsym make-sway-bindsym > sway-bindsym? > (key-combo sway-bindsym-key-combo > (default ""))) > > (display sway-bindsym) ;; compile error at unknown location > ;; (display (sway-bindsym)) this is one "correct" way to call this code > #+END_SRC Source location info is missing because currently (as of 3.0.5), Guile keeps location info in the form of =E2=80=9Csource properties=E2=80=9D only= for lists. The =E2=80=98sway-bindsym=E2=80=99 symbol above has no associated location = info. This may change in the near future as Andy has been rewriting =E2=80=98read= =E2=80=99 (the Scheme =E2=80=9Cparser=E2=80=9D) in Scheme, among other things. Ludo=E2=80=99.
bug-guix@HIDDEN:bug#46241; Package guix.
Full text available.
Received: (at submit) by debbugs.gnu.org; 1 Feb 2021 18:12:58 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 01 13:12:58 2021
Received: from localhost ([127.0.0.1]:33110 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1l6dh3-0007Cc-On
for submit <at> debbugs.gnu.org; Mon, 01 Feb 2021 13:12:58 -0500
Received: from lists.gnu.org ([209.51.188.17]:34194)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <jbranso@HIDDEN>) id 1l6dh1-0007CU-Pl
for submit <at> debbugs.gnu.org; Mon, 01 Feb 2021 13:12:56 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10]:48836)
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <jbranso@HIDDEN>)
id 1l6dh1-0000KD-BH; Mon, 01 Feb 2021 13:12:55 -0500
Received: from mx1.dismail.de ([78.46.223.134]:42825)
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <jbranso@HIDDEN>)
id 1l6dgz-00082S-0I; Mon, 01 Feb 2021 13:12:55 -0500
Received: from mx1.dismail.de (localhost [127.0.0.1])
by mx1.dismail.de (OpenSMTPD) with ESMTP id f4121d2c;
Mon, 1 Feb 2021 19:12:45 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=date
:message-id:from:to:cc:subject; s=20190914; bh=LRpZImnkAVJbKXU4W
w0139hB4XHKo151x4VpBMNbL3E=; b=lwpHb6vmx/qGeiw4BM86+rqsLclJ7ABis
XkEGR7CbIT1auMvs6WHT1f3h3qGpZXqvyWm32lWtkFFHsfpLy2qaVN72j+IeErJj
4oGURD8fgFs9BROPuScVPepOWkl3N8O/M9ljOWhxiaL9dD25ACDrzNhkcMyQrdBo
knTJGSOyrKdN/VfSmsI8TZz/g1fgMAodKL410eW+Y1xml0QJmJ7kw4elMzkR5Ugz
OQv4Lu4yt7HMHs+o4pLh7p/yVeoXeD9wdtPA4+1DRct+Ex0QGeWnFwQAG1OYwKh4
CPdH8YFjYVejR3UBbfd3zPzlNd0PtTzRpHMZkaE5Hqr3de48JY1Sw==
Received: from smtp2.dismail.de (<unknown> [10.240.26.12])
by mx1.dismail.de (OpenSMTPD) with ESMTP id 60599576;
Mon, 1 Feb 2021 19:12:45 +0100 (CET)
Received: from smtp2.dismail.de (localhost [127.0.0.1])
by smtp2.dismail.de (OpenSMTPD) with ESMTP id 53af86b2;
Mon, 1 Feb 2021 19:12:45 +0100 (CET)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id da8fd0bd
(TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO);
Mon, 1 Feb 2021 19:12:45 +0100 (CET)
Date: Mon, 01 Feb 2021 13:12:42 -0500
Message-Id: <87r1lzodwl.fsf@HIDDEN>
From: Joshua Branson <jbranso@HIDDEN>
To: bug-guix@HIDDEN
Subject: Guile Macros did not print the error-line-number ?
Received-SPF: pass client-ip=78.46.223.134; envelope-from=jbranso@HIDDEN;
helo=mx1.dismail.de
X-Spam_score_int: -43
X-Spam_score: -4.4
X-Spam_bar: ----
X-Spam_report: (-4.4 / 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,
RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001,
SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.4 (-)
X-Debbugs-Envelope-To: submit
Cc: bug-guile@HIDDEN
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.4 (--)
Hello!
Recently on irc, I posted an example of an incorrectly used
define-record-type* NOT displaying an error line number.
mdevos mentioned that this could potentially be fixed in (guix
records), but it may also be a guile compile bug as well.
First here is a (guix records) example:
#+BEGIN_SRC scheme
(use-modules (guix records))
(define-record-type* <sway-bindsym>
sway-bindsym make-sway-bindsym
sway-bindsym?
(key-combo sway-bindsym-key-combo
(default "")))
(display sway-bindsym) ;; compile error at unknown location
;; (display (sway-bindsym)) this is one "correct" way to call this code
#+END_SRC
One will get a compile error like the following
#+BEING_SRC sh
;;; note: source file /home/joshua/prog/guile/test.scm
;;; newer than compiled /home/joshua/.cache/guile/ccache/3.0-LE-8-4.4/home/joshua/prog/guile/test.scm.go
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
;;; or pass the --no-auto-compile argument to disable.
;;; compiling /home/joshua/prog/guile/test.scm
;;; WARNING: compilation of /home/joshua/prog/guile/test.scm failed:
;;; Syntax error:
;;; unknown location: source expression failed to match any pattern in form sway-bindsym
ice-9/psyntax.scm:2800:12: In procedure syntax-violation:
Syntax error:
unknown location: source expression failed to match any pattern in form sway-bindsym
#+END_SRC
As you can see, you do NOT see a error-line-number. If this file was
sufficiently large, this might be hard to track down. Though it IS
NICE to see that the error comes from an "sway-bindsym".
mdevos then mentioned that I should provide a simple use case NOT
involving (guix records). Here is one:
#+BEGIN_SRC scheme
(define-syntax when
(syntax-rules ()
((when condititon exp ...)
(if condititon
(begin exp ...)))))
(when #t (display "Hello\n"))
(display when)
#+END_SRC
The error message looks like:
#+BEGIN_SRC sh
;;; note: source file /home/joshua/prog/guile/macro-bug.scm
;;; newer than compiled /home/joshua/.cache/guile/ccache/3.0-LE-8-4.4/home/joshua/prog/guile/macro-bug.scm.go
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
;;; or pass the --no-auto-compile argument to disable.
;;; compiling /home/joshua/prog/guile/macro-bug.scm
;;; WARNING: compilation of /home/joshua/prog/guile/macro-bug.scm failed:
;;; Syntax error:
;;; unknown location: source expression failed to match any pattern in form when
Hello
ice-9/psyntax.scm:2800:12: In procedure syntax-violation:
Syntax error:
unknown location: source expression failed to match any pattern in form when
#+END_SRC
Again, I do not see an error-line-number message.
Thanks,
Joshua
P.S. I am no scheme compiler expert. As far as I know, maybe it's
impossible to display the error-line-number, when you use macros. I
just heard that few free software users report bugs. I'm just trying
to be helpful. :) I hope I am.
Joshua Branson <jbranso@HIDDEN>:bug-guix@HIDDEN.
Full text available.bug-guix@HIDDEN:bug#46241; Package guix.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.