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

Previous Next

To reply to this bug, email your comments to 65363 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Zhu Zihao <all_but_last <at> 163.com>
To: bug-guile <at> gnu.org
Subject: Missing support for (library ...) match condition in 'cond-expand' 
Date: Fri, 18 Aug 2023 19:18:16 +0800

[Message part 1 (text/plain, inline)]

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

[signature.asc (application/pgp-signature, inline)]

Message #8 received at 65363 <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Zhu Zihao <all_but_last <at> 163.com>
Cc: 65363 <at> debbugs.gnu.org
Subject: Re: bug#65363: Missing support for (library ...) match condition in
 'cond-expand' 
Date: Mon, 27 Nov 2023 22:53:06 -0500

Hi,

Zhu Zihao <all_but_last <at> 163.com> 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

Previous Next

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