GNU bug report logs -
#31319
ghc-case-insensitive: Duplicate 'inputs' field.
Previous Next
Reported by: Mark H Weaver <mhw <at> netris.org>
Date: Mon, 30 Apr 2018 17:51:01 UTC
Severity: normal
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
Message #20 received at 31319 <at> debbugs.gnu.org (full text, mbox):
Ping!
I’d really like to apply the patch you posted in
<https://lists.gnu.org/archive/html/guix-devel/2018-04/msg00201.html>
along with the corresponding package fixes.
I can do that if you want.
Ludo’.
ludo <at> gnu.org (Ludovic Courtès) skribis:
> Hello Mark,
>
> Mark H Weaver <mhw <at> netris.org> 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’.
This bug report was last modified 6 years and 182 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.