GNU logs - #65363, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#65363: Missing support for (library ...) match condition in 'cond-expand' 
Resent-From: Zhu Zihao <all_but_last@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 18 Aug 2023 11:27:02 +0000
Resent-Message-ID: <handler.65363.B.16923579851163 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 65363 <at> debbugs.gnu.org
User-agent: mu4e 1.10.5; emacs 30.0.50
From: Zhu Zihao <all_but_last@HIDDEN>
Date: Fri, 18 Aug 2023 19:18:16 +0800
Message-ID: <86pm3ky4lk.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha256; protocol="application/pgp-signature"
Received-SPF: pass client-ip=220.181.12.215; envelope-from=all_but_last@HIDDEN;
 helo=m12.mail.163.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 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,
 RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_BL=0.001, RCVD_IN_MSPIKE_L4=0.001,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
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: -0.1 (/)

--=-=-=
Content-Type: text/plain

In R7RS, page 14, section 4.2.1 Conditionals. The form 'cond-expand' can
accept following conditions

```
A <feature requirement> takes one of the following forms:

- <feature identifier>
- (library <library name>)
- (and <feature requirement> ...)
- (or <feature requirement> ...)
- (not <feature requirement>)
```

The form (library <library name>) is used to test whether a R7RS library
named <library name> exists or not. For example:

```
(cond-expand
 ((library (srfi srfi-1))
  (display "Yes, we have SRFI-1.\n")))
```

However, this form is currently not supported by Guile. Supporting this
form can help Guile use portable R7RS library more smoothly.

-- Retrieve my PGP public key:

  gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC

Zihao

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iIsEARYIADMWIQT4UAIrVkIEZilSHr2K2nJqP6LM8gUCZN9VOBUcYWxsX2J1dF9s
YXN0QDE2My5jb20ACgkQitpyaj+izPLw+QD/d7pTeyqg22FSu6LGkOikxVIlMkpm
T0fxkGmNKy0igjkBAJ2siplfRiGUlN+Y0A259rcgXhLiQEKpSOYPuwRkDmcL
=O5vk
-----END PGP SIGNATURE-----
--=-=-=--

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: Zhu Zihao <all_but_last@HIDDEN>
Subject: bug#65363: Acknowledgement (Missing support for (library ...)
 match condition in 'cond-expand' )
Message-ID: <handler.65363.B.16923579851163.ack <at> debbugs.gnu.org>
References: <86pm3ky4lk.fsf@HIDDEN>
X-Gnu-PR-Message: ack 65363
X-Gnu-PR-Package: guile
Reply-To: 65363 <at> debbugs.gnu.org
Date: Fri, 18 Aug 2023 11:27: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 65363 <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
65363: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D65363
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#65363: Missing support for (library ...) match condition in 'cond-expand' 
Resent-From: Maxim Cournoyer <maxim.cournoyer@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Tue, 28 Nov 2023 03:54:01 +0000
Resent-Message-ID: <handler.65363.B65363.170114360210152 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Zhu Zihao <all_but_last@HIDDEN>
Cc: 65363 <at> debbugs.gnu.org
From: Maxim Cournoyer <maxim.cournoyer@HIDDEN>
In-Reply-To: <86pm3ky4lk.fsf@HIDDEN> (Zhu Zihao's message of "Fri, 18 Aug
 2023 19:18:16 +0800")
References: <86pm3ky4lk.fsf@HIDDEN>
Date: Mon, 27 Nov 2023 22:53:06 -0500
Message-ID: <87edga5yal.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi,

Zhu Zihao <all_but_last@HIDDEN> writes:

> In R7RS, page 14, section 4.2.1 Conditionals. The form 'cond-expand' can
> accept following conditions
>
> ```
> A <feature requirement> takes one of the following forms:
>
> - <feature identifier>
> - (library <library name>)
> - (and <feature requirement> ...)
> - (or <feature requirement> ...)
> - (not <feature requirement>)
> ```
>
> The form (library <library name>) is used to test whether a R7RS library
> named <library name> exists or not. For example:
>
> ```
> (cond-expand
>  ((library (srfi srfi-1))
>   (display "Yes, we have SRFI-1.\n")))
> ```
>
> However, this form is currently not supported by Guile. Supporting this
> form can help Guile use portable R7RS library more smoothly.

I'm not sure what doesn't work with the above example; it should work
when used within a define-library, per this 2020 commit:

--8<---------------cut here---------------start------------->8---
commit fd2ffc649c2d08639c2ac41c25e4ebdbeb4b151d
Date:   Sun Jan 12 20:14:30 2020 +0100

    Support R7RS define-library
--8<---------------cut here---------------end--------------->8---

I've found it had a few omissions, which I've corrected locally, such as
not handling 'else' clauses or (srfi N) names, but your example should
have worked, AFAIK.

If trying 'cond-expand' from the REPL, you'll want to ,use (scheme base)
to get the newer cond-expand definition shadow the SRFI 0 one that is
defined in (guile).

-- 
Thanks,
Maxim

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

Received: (at control) by debbugs.gnu.org; 28 Nov 2023 03:53:25 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Nov 27 22:53:25 2023
Received: from localhost ([127.0.0.1]:45197 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1r7pA5-0002du-DU
	for submit <at> debbugs.gnu.org; Mon, 27 Nov 2023 22:53:25 -0500
Received: from mail-qv1-xf29.google.com ([2607:f8b0:4864:20::f29]:48340)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <maxim.cournoyer@HIDDEN>) id 1r7pA3-0002dW-SN
 for control <at> debbugs.gnu.org; Mon, 27 Nov 2023 22:53:24 -0500
Received: by mail-qv1-xf29.google.com with SMTP id
 6a1803df08f44-679dd3055faso27029096d6.0
 for <control <at> debbugs.gnu.org>; Mon, 27 Nov 2023 19:53:17 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1701143591; x=1701748391; darn=debbugs.gnu.org;
 h=subject:from:to:message-id:date:from:to:cc:subject:date:message-id
 :reply-to; bh=euapaN5DkczdWx2jSkorDUygISEVxQq6HAwkPu6lVZY=;
 b=e8Yh0C/+XCqKMkCWAgYlSNOsc+N8IaI0j483bfl3kOi3NjhbfxgO1lh3v1YP0+sXFO
 PKwDDaSqUsghviTl/3X6sGE1EVGS8S1wDZVI39sIYBBcXn3RSSNMijqqLBZza278Jau1
 +JEXMnLw0t80BOBfAxb05zWpLAM82YGvoVwBxOyGFLFS5hCuXkAesYkh8+02yjlOGQmv
 ljshTcCqTk7m8qwi+dneHdTrRGtscG90o38Jp+jQ8nTIEIK+bKJcpk1pupUs0YDQgggG
 578bEFLeymvFizg/7d8sjCcLhaUJKVlOqJVg9SuOsbdSTG0XLtxNbwFNQeEXdQu4Uv9l
 KgrQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1701143591; x=1701748391;
 h=subject:from:to:message-id:date:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=euapaN5DkczdWx2jSkorDUygISEVxQq6HAwkPu6lVZY=;
 b=WFAYB20eU/c5txghJKSK5Vo2iw6yZTWKYjMGRD0hiLvvkg58SjZK/aFdeDiDSAJY5C
 JdfPiZvQLpdbXF9pDU+E/OejwHKrLQwJOEM4NaWRSXEOm0pA/m00H5A9kOTQDvWtrPuC
 sjOVCpLByr+kImiNrFM6tnk44ebgS610VsDWHtiFCEQ0bl7DsHkxqTpk3VJaSZhXqA0q
 pgNuOzjJLvmHJH/asAX/Q+gWtYKs095Y5ROOIreNvn8ArmcK1Jon9sCQEqD3YKweQlUn
 LHjNQ9JSXQPD5b34gT1CPOIpbe1CXp9i/I88/Xvd+2mwpHmAroN1vb8+wl/SHAazTpfS
 z53Q==
X-Gm-Message-State: AOJu0YwRUEfmpml0QkepQka1R6XXx6bNXdR1G34VdetGnfhzZOf1ifrj
 6EfXB51t62ZUo/9mebH6VUZ0WsaYmR4=
X-Google-Smtp-Source: AGHT+IEfaTkexpqVIuveVqLSWqQNqZUnspa8q52YoiJfWL3Mj5JTdrLvI3lrgWbbgfv4YdlUpKqm4Q==
X-Received: by 2002:ad4:4d86:0:b0:679:d41a:69e4 with SMTP id
 cv6-20020ad44d86000000b00679d41a69e4mr14469473qvb.4.1701143591222; 
 Mon, 27 Nov 2023 19:53:11 -0800 (PST)
Received: from hurd (dsl-154-146.b2b2c.ca. [66.158.154.146])
 by smtp.gmail.com with ESMTPSA id
 g12-20020a05620a13cc00b0077580becd52sm4195471qkl.103.2023.11.27.19.53.10
 for <control <at> debbugs.gnu.org>
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Mon, 27 Nov 2023 19:53:10 -0800 (PST)
Date: Mon, 27 Nov 2023 22:53:09 -0500
Message-Id: <87cyvu5yai.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Maxim Cournoyer <maxim.cournoyer@HIDDEN>
Subject: control message for bug #65363
X-Spam-Score: -0.0 (/)
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: -1.0 (-)

tags 65363 + moreinfo
quit

Last modified: Tue, 28 Nov 2023 04:00:02 UTC

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