[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5.
From: |
Eric Bavier |
Subject: |
[bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. |
Date: |
Tue, 24 Sep 2019 10:06:59 -0400 (EDT) |
----- On Sep 24, 2019, at 2:16 AM, Ludovic Courtès address@hidden wrote:
> Hello,
>
> Eric Bavier <address@hidden> 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
Description: Text Data
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., ericbavier, 2019/09/16
- [bug#37435] [PATCH 2/2] gnu: idris: Update to 1.3.2., ericbavier, 2019/09/16
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Ludovic Courtès, 2019/09/20
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Timothy Sample, 2019/09/20
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Timothy Sample, 2019/09/20
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Ludovic Courtès, 2019/09/23
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Eric Bavier, 2019/09/23
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Ludovic Courtès, 2019/09/24
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5.,
Eric Bavier <=
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Ludovic Courtès, 2019/09/24
- bug#37435: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Eric Bavier, 2019/09/24
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Timothy Sample, 2019/09/25