Re: [PATCH 1/2] gnu: Add ghc-transformers

[James David Trotter <james.trotter@gmail.com>]

Hi Paul,



On 15 October 2015 at 17:24, Paul van der Walt <paul@denknerd.org> wrote:
> Hello James, all,
>
> On 2015-10-11 at 22:23, quoth James David Trotter:
>> +(define-public ghc-transformers
>> +  (package
>> +    (name "ghc-transformers")
>> +    (version "0.4.3.0")
>
> Now that there are patches ready to provide the latest Haskell Platform
> (version 7.10.2a as listed on [0]), i propose we refrain from packaging
> things which GHC already provides.  Notably, providing a newer version
> generally causes warnings (and occasional build failures depending on
> which package we're talking about — Idris was one of those) that GHC
> requires (e.g., as in this case) "transformers-0.4.2.0" but some other
> dependency requires "transformers-0.4.3.0".  Therefore, we should only
> package cabal items *not* on the `Core Libraries' list at [0].
>
> WDYT?
>

I just saw your set of patches for adding Idris, which is great!

I was just about to submit a (somewhat overlapping) set of about
thirty patches in order to add Agda to guix. Hopefully, this should
become easier after your patches.

If I understand correctly, then this patch can just be dropped?


Regards,
James