[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?
> 
> I'm in general in favour of trying to patch packages to build with the
> later mtl rather than forcing them to use the older one. I had patched
> xmobar (iirc) a few days ago, and asked a similar change to be revoked
> because it was forcing xmobar to an older version of mtl after I had
> already patched it to work with the latest.
> 
> Here I'd also try if Agda doesn't in fact work with mtl-2.1.1 and
> transformers-3. If it really doesn't, these changes are ok.
> 
> Cheers,
>   Andres

Hi Andres,

It seems that Agda does build and work with latest mtl as you suggested.  
Attached is the patch; I understand this is to be included in cabal2nix so I 
did not commit it directly into the repository.

Saludos,
Karn
 
 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Agda.patch
Type: text/x-patch
Size: 617 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20120610/c4bc6ad6/attachment-0001.bin