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

Mark H Weaver 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’.

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

Hi Ludovic, l...@gnu.org (Ludovic Courtès) writes: > Ping! > > I’d really like to apply the patch you posted in > > along with the corresponding package fixes. Yes, sorry for the long delay on this. I've been nervous about

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

Ping! I’d really like to apply the patch you posted in along with the corresponding package fixes. I can do that if you want. Ludo’. l...@gnu.org (Ludovic Courtès) skribis: > Hello Mark, > > Mark H Weaver skribis: > >> It's

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

Hello Mark, Mark H Weaver skribis: > It's true that it wouldn't change anything to simply remove those > ignored duplicate field initializers. However, I thought it would be > better to give people familiar with these packages an opportunity to > investigate. Someone may have had a good reason

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

Hi Mark, Mark H Weaver skribis: > If you're impatient to get the duplicate field detection patch committed > soon, I could implement these "timeout" measures in the next couple of > days. > > What do you think? A timeout of a few days would be perfect. :-) Thank you! Ludo’.

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

Hi Ludovic, l...@gnu.org (Ludovic Courtès) writes: > Mark H Weaver 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. >> >> It would be good to

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

Hi Mark, Mark H Weaver 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. > > It would be good to clean this up so that we can start raising errors

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

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 presen