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

From: Ludovic Courtès <[email-masked]>
Date: Tue, 24 Sep 2019 09:16:34 +0200

Hello,

Eric Bavier <[email-masked]> 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?

> 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?

Ludo’.