[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