[QuickCheck] How to evaluate a Property?

Bryan O'Sullivan bos at serpentine.com
Fri Jun 13 21:26:43 BST 2014


A downside of switching from Bool-typed to Property-typed tests is that I
have no idea how to evaluate a Property by hand at the ghci command line.
If I'm doing some narrowly directed testing by hand while I iterate on a
bug, that can significantly slow me down.

I realise that this is probably not achievable in general, but for instance
many of my tests are simple ones involving (===), (.&&.) and the like, with
no fanciness needed.

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://projects.haskell.org/pipermail/quickcheck/attachments/20140613/72022177/attachment.htm>


More information about the QuickCheck mailing list