[debbugs-tracker] bug#31319: closed (ghc-case-insensitive: Duplicate 'inputs' field.)

[GNU bug Tracking System]

Your message dated Tue, 22 Jan 2019 23:06:26 +0100
with message-id <address@hidden>
and subject line Re: bug#31319: ghc-case-insensitive: Duplicate 'inputs' field.
has caused the debbugs.gnu.org bug report #31319,
regarding ghc-case-insensitive: Duplicate 'inputs' field.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
31319: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31319
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> ghc-case-insensitive: Duplicate 'inputs' field.
>
>
>
>
> Date: 
>
> Mon, 30 Apr 2018 13:49:11 -0400
>
>
>
>
> 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
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#31319: ghc-case-insensitive: Duplicate 'inputs' field.
>
>
>
>
> Date: 
>
> Tue, 22 Jan 2019 23:06:26 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Mark H Weaver <address@hidden> 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’.
>
>
> --- End Message ---