GNU bug report logs - #57377
[PATCH] api-coverage.texi: fix example, remove mentions of unimplemented features

Previous Next

Package: guile;

Reported by: Antoine Kalmbach <ane <at> iki.fi>

Date: Wed, 24 Aug 2022 09:10:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 57377-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Antoine Kalmbach <ane <at> iki.fi>
Cc: 57377-done <at> debbugs.gnu.org
Subject: Re: bug#57377: [PATCH] api-coverage.texi: fix example, remove
 mentions of unimplemented features
Date: Sat, 01 Oct 2022 15:57:46 +0200

Hi Antoine,

Antoine Kalmbach <ane <at> iki.fi> skribis:

> * doc/ref/api-coverage.texi (Code Coverage): #:modules is not
>   supported... never seems to have been supported?
>   (example): close port, not file.

In commit 4456245753ff925cafd3e72d130761b6f1c2c419, Jessica Talon added
support for #:modules.

I applied the fix for the typo you found in the example, though.

Thank you!

Ludo’.
This bug report was last modified 2 years and 231 days ago.

Previous Next

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