Hi Paul,
On 15 October 2015 at 17:24, Paul van der Walt <p...@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
