gentoo-haskell/gentoo-haskell — pull request #181 by naota (2012-11-09 07:16:11+00:00)
Title: sci-mathematics/agda: Add patch to deal with quichcheck update

Currently sci-mathematics/agda fail due to with the following error, due to QuickCheck's API change.

[126 of 232] Compiling Agda.Termination.Lexicographic ( src/full/Agda/Termination/Lexicographic.h

src/full/Agda/Termination/Lexicographic.hs:233:30:
`maxDiscard' is not a (visible) constructor field name

files/agda-2.3.0.1-quickcheck-2.5.patch allows agda to be built with quickcheck-2.5. However it doesn't update the code. This patch import the upstream patch to deal with its API change.