Subject: bug#31319: closed (Re: bug#31319: ghc-case-insensitive: Duplicate 'inputs' field.)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 22 Jan 2019 22:07:03 +0000

Your bug report

#31319: ghc-case-insensitive: Duplicate 'inputs' field.

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
31319: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31319
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#31319: ghc-case-insensitive: Duplicate 'inputs' field.
From: Ludovic Courtès <[email-masked]>
To: Mark H Weaver <[email-masked]>
Cc: [email-masked]
Date: Tue, 22 Jan 2019 23:06:26 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Mark H Weaver <[email-masked]> skribis:

> Our 'ghc-case-insensitive' package contains two 'inputs' field
> initializers.  If I'm not mistaken, the first one is being effectively
> ignored, so 'ghc-hunit' is not actually an input.

Fixed in b2e46ac5318dd790530659a459bd1e714287ff37.

Ludo’.

Subject: ghc-case-insensitive: Duplicate 'inputs' field.
From: Mark H Weaver <[email-masked]>
To: [email-masked]
Date: Mon, 30 Apr 2018 13:49:11 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Our 'ghc-case-insensitive' package contains two 'inputs' field
initializers.  If I'm not mistaken, the first one is being effectively
ignored, so 'ghc-hunit' is not actually an input.

It would be good to clean this up so that we can start raising errors
when duplicate field initializers are present.

      Mark