GNU bug report logs - #32192
[PATCH 0/7] Remove duplicated packages.

Previous Next

Full log

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Leo Famulari <leo <at> famulari.name>
Cc: Christopher Baines <mail <at> cbaines.net>, 32192 <at> debbugs.gnu.org
Subject: Re: [bug#32192] [PATCH 0/7] Remove duplicated packages.
Date: Thu, 19 Jul 2018 11:23:31 +0200

Hello,

Leo Famulari <leo <at> famulari.name> skribis:

> On Tue, Jul 17, 2018 at 09:27:45PM +0100, Christopher Baines wrote:
>> The following patches attempt to remove the duplicates, favouring the
>> original package definition.
>
> I sent one comment, otherwise the patches LGTM.
>
>> Is there any way of guarding against adding these, or more accurately
>> checking for duplicate definitions?
>
> I don't know. Hopefully someone else has some ideas.

It’s terrible to see there were so many duplicate packages.

The package lookup machinery detects and warns about same-named packages
when you do things like:

  (define-public var1
    (package (name "something") …))
  (define-public var2
    (package (name "something") …))

The problem here is that duplicates were in the same module and using
the same variable name, such that the second definition would shadow the
first one, and so Guix only sees one package.

I think we should add a warning in the compiler for this situation.

Ludo’.

Previous Next

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