Hello, <br><br>I want to quickcheck a property on a datatype representing <br>programs (=[Stmt]) and need to define a specific instance<br><br>instance Arbitrary [Stmt]<br><br>(mainly to restrict the size of the list).<br>
<br>In quickcheck an instance Arbitrary of lists is already defined.<br>Which parameters do I have to give ghc such that it accepts<br>such an instance? In hugs -98 +o is enough. I have<br>tried -XOverlappingInstances, -XFlexibleInstances and also
<br>-XIncoherentInstances, however I still got an overlapping <br>instances error for this declaration.<br><br>Regards,<br>Steffen<br>