Dear all, I am a bit lost trying to build a current version of Idris ( https://github.com/idris-lang/Idris-dev) with my Haskell setup on NixOS.
The problem is that Idris depends on mtl >= 2.2.1 and I have been unable to get a working setup with mtl_2_2_1. I have found a suggestion by jwiegley [1][2] for a build environment that contains mtl_2_2_1, but adapting this in the crudest way possible [3] (I don't really know what I am doing here ...) results in an environment with a lot of broken packages as per 'ghc-pkg check' (and I also can't build Idris in this env). I have also found this ticket [4] where Petri states that it is difficult (impossible?) to get mtl_2_2_1 to work with ghc < 7.10. Is it possible to get this set up going? (I understand it might be a bad idea to require mtl >= 2.2.1, but I guess the people creating such Haskell projects are able to compile them in some way...) Thank you all Paul [1] https://botbot.me/freenode/nixos/2015-01-06/ [2] https://gist.github.com/jwiegley/e054c6ea681d1739873f/ [3] https://gist.github.com/paulkoerbitz/42ad97c6985b92092391 [4] https://github.com/NixOS/nixpkgs/issues/5649
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
