GNU bug report logs - #37434
[PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5.

Previous Next

Full log

Message #26 received at 37434 <at> debbugs.gnu.org (full text, mbox):

From: Eric Bavier <ericbavier <at> centurylink.net>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 37434 <37434 <at> debbugs.gnu.org>, Timothy Sample <samplet <at> ngyro.com>,
 bavier <bavier <at> member.fsf.org>
Subject: Re: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5.
Date: Tue, 24 Sep 2019 10:06:59 -0400 (EDT)

[Message part 1 (text/plain, inline)]

----- On Sep 24, 2019, at 2:16 AM, Ludovic Courtès ludo <at> gnu.org wrote:

> Hello,
> 
> Eric Bavier <ericbavier <at> centurylink.net> skribis:
> 
>> Idris 1.3.2 unfortunately needs megaparsec>=7.0.4.
>>
>> FWIW, idris is our only package that depends on ghc-megaparsec. :)  So maybe an
>> upgrade is fine?
> 
> For the sake of consistency, what about adding a variant of megaparsec
> for use by Idris, and keeping the LTS-12 version?

That sounds appropriate to me.  New patch attached.

> 
>> I was under the impression that our 'guix refresh' updater was supposed to use
>> the appropriate stackage version?  But it seems to be referencing version 14.6.
> 
> Looking at ‘latest-lts-release’ in (guix import stackage), the updater
> seems to just take the latest LTS version.
> 
> We should probably fix that by having the argument to
> ‘stackage-lts-info-fetch’ default to the currently targeted LTS version.
> Otherwise one has to know the LTS version and pass it to ‘guix import
> stackage --lts-version’, which is error-prone.
> 
> Thoughts?

I think that would be the right thing to do, imo.

-- 
`~Eric

[0001-gnu-idris-Update-to-1.3.2.patch (text/x-patch, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.