GNU bug report logs - #65363
Missing support for (library ...) match condition in 'cond-expand'

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

Received: (at submit) by debbugs.gnu.org; 18 Aug 2023 11:26:25 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Aug 18 07:26:25 2023
Received: from localhost ([127.0.0.1]:46188 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qWxcX-0000Ih-9o
	for submit <at> debbugs.gnu.org; Fri, 18 Aug 2023 07:26:25 -0400
Received: from lists.gnu.org ([2001:470:142::17]:54382)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <all_but_last@HIDDEN>) id 1qWxcU-0000IT-Gn
 for submit <at> debbugs.gnu.org; Fri, 18 Aug 2023 07:26:24 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <all_but_last@HIDDEN>)
 id 1qWxcO-0005L8-Cm
 for bug-guile@HIDDEN; Fri, 18 Aug 2023 07:26:16 -0400
Received: from m12.mail.163.com ([220.181.12.215])
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <all_but_last@HIDDEN>) id 1qWxcK-0003uR-6A
 for bug-guile@HIDDEN; Fri, 18 Aug 2023 07:26:16 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com;
 s=s110527; h=From:Subject:Date:Message-ID:MIME-Version:
 Content-Type; bh=jxqgwZmSazAq0KvB0P89QlpeZJDmaQTDbJ49ZZelTg4=;
 b=LuhIyeqdH2LTRruYevdfJu++QXS1WarXpti7gNXfR1ER4ryoo34w54EO5O47kV
 bs1rIF0fr/1QU6Prsho1dbkc+Ay63d9pKlCuUQ3cV7Gz6FvbSptG5xmot9Hi1xn3
 W7Vhcd1Onkn652DyaR3H/vEXN0HPzvsmKdL47gU+7HudQ=
Received: from asus-laptop (unknown [119.123.67.67])
 by zwqz-smtp-mta-g0-1 (Coremail) with SMTP id _____wCXv89IVd9kxzW1DQ--.40031S2;
 Fri, 18 Aug 2023 19:26:01 +0800 (CST)
User-agent: mu4e 1.10.5; emacs 30.0.50
From: Zhu Zihao <all_but_last@HIDDEN>
To: bug-guile@HIDDEN
Subject: Missing support for (library ...) match condition in 'cond-expand' 
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"
X-CM-TRANSID: _____wCXv89IVd9kxzW1DQ--.40031S2
X-Coremail-Antispam: 1Uf129KBjvdXoW7XFW8urWDAw1xCFy7Xr13Jwb_yoW3WFX_Gr
 WkJwsrJF18ZrW2vry5K3yI9ayxX39F9Fy5JrW0gr1Yv34rJa1fGrZFyrsYgwnFyayrX34q
 93Z5K343tw1akjkaLaAFLSUrUUUUUb8apTn2vfkv8UJUUUU8Yxn0WfASr-VFAUDa7-sFnT
 9fnUUvcSsGvfC2KfnxnUUI43ZEXa7IUUVTYUUUUUU==
X-Originating-IP: [119.123.67.67]
X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBoQrPr2I0Z05m3AAAsO
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-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: -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-----
--=-=-=--