[Nix-dev] Agda build

[Karn Kallio]

Thanks for reviewing Peter.  It occurs to me that maybe Agda should have
a local mtl (as haskeline) ... Andres, would that avoid the earlier problem
related to mtl in r34358?


> > --- 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?