[Agda] Data.Nat error

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sun Nov 9 11:59:00 CET 2008


On 09/11/08 03:30, Ruben Henner Zilibowitz wrote:

>     Duplicate instance declarations:
>       instance Applicative Gen
>         -- Defined at src/full/Agda/Utils/QuickCheck.hs:(21,0)-(23,11)
>       instance Applicative Gen -- Defined in Test.QuickCheck.Gen

You are using the unreleased development version of QuickCheck, right?
In order to avoid this problem Agda now requires QuickCheck-2.1.0.1.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.



More information about the Agda mailing list