[Nix-dev] Agda build

[Karn Kallio]

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.

 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: agda.patch
Type: text/x-patch
Size: 1276 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20120610/06611ec3/attachment.bin