Hello Guix, Yesterday i thought to myself that it would be cool to mess around with Idris <http://www.idris-lang.org>, on of the dependently-typed languages. Turns out it depends on quite a lot of Hackage packages! I steamed ahead, and now i have packaged all the dependencies.
One weird thing i ran into though, is that frequently, a library L1 will build fine, but when you use it as an input to some other library L2, the configure phase will fail, saying that L1 is broken, since it is missing its dependencies D1..Dn. Iyzsong suggested on IRC that i do like nixpkgs does [0] and simply add all dependencies as propagated-inputs. That should solve that issue, but since i don't 100% understand what's going on, i thought it wise to ask you, wise and attractive users of Guix, for advice. I will polish the patches before sending them, so don't hold your breath yet. I'm currently also trying to upgrade the packages to the Haskell Platform 7.10.2-a versions. Turns out GHC is slow to build. Ah, another question: do you people think it would be worthwhile / useful to provide a haskell-platform-$ver metapackage which depends on all the exact versions bundled in that HP? See [1] for a list. Thank you for your advice, p. 0. <https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/haskell-modules/hackage-packages.nix> 1. <https://www.haskell.org/platform/contents.html>
signature.asc
Description: PGP signature
