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

[Ludovic Courtès]

Hello Mark,

Mark H Weaver <address@hidden> 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 for adding those
> inputs, even if they are not strictly needed for a successful build.
>
> Of course, at some point we should timeout on this.  I would advocate
> commenting out the redundant duplicates instead of simply deleting them,
> along with a FIXME comment asking someone to investigate.  We could also
> look in the commit history to find out who added those redundant inputs,
> and ask them directly.
>
> 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.

I think we should go ahead now and mechanically fix packages with
duplicate fields, and apply the duplicate detection patch.

Would you like to do that?

Thanks,
Ludo’.