Rational for Testable instance of ()

Nick Smallbone nick.smallbone at gmail.com
Mon Jun 18 13:59:57 BST 2012


Hi Simon,

It's useful for confusing users when they accidentally make their
property return () :)

I've just removed it.

Nick

On 12 June 2012 19:14, Simon Hengel <sol at typeful.net> wrote:
> Hi,
> the Testable instance of () treats tests as rejected.  And I try to
> understand whether this is useful, and if it is useful, how exactly.
>
> Any thoughts?
>
> Cheers,
> Simon
>
> _______________________________________________
> QuickCheck mailing list
> QuickCheck at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/quickcheck



More information about the QuickCheck mailing list