[Nix-dev] Stumped trying to build Idris with mtl_2_2_1

Paul Koerbitz paul.koerbitz at gmail.com
Tue Jan 13 08:29:00 CET 2015

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

[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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20150113/c7a7b391/attachment.html 

More information about the nix-dev mailing list