[Nix-dev] Agda build

[Peter Simons]

Hi Karn,

 > --- 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;
 >    };

these changes look fine to me. Just a few days ago Andres asked that a
similar change be revoked (r34358), but I'm not sure why. Andres?

Take care,
Peter