The attached patch gets Agda to build with ghc 7.4.1. I wonder if Andres or
Peter would review it for compatibility with the Haskell subsystem.
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index fc6c42f..7613007 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -387,6 +387,10 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
Agda = callPackage ../development/libraries/haskell/Agda {
haskellSrcExts = self.haskellSrcExts_1_11_1;
+ mtl = self.mtl_2_0_1_0;
+ haskeline = callPackage ../development/libraries/haskell/haskeline {
+ mtl = self.mtl_2_0_1_0;
+ };
};
accelerate = callPackage ../development/libraries/haskell/accelerate {};
@@ -1025,7 +1029,9 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
mtl_1_1_0_2 = callPackage ../development/libraries/haskell/mtl/1.1.0.2.nix {};
mtl_1_1_1_1 = callPackage ../development/libraries/haskell/mtl/1.1.1.1.nix {};
- mtl_2_0_1_0 = callPackage ../development/libraries/haskell/mtl/2.0.1.0.nix {};
+ mtl_2_0_1_0 = callPackage ../development/libraries/haskell/mtl/2.0.1.0.nix {
+ transformers = self.transformers_0_2_2_0;
+ };
mtl_2_1_1 = callPackage ../development/libraries/haskell/mtl/2.1.1.nix {
transformers = self.transformers_0_3_0_0;
};
_______________________________________________
nix-dev mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-dev
