Running properties that do not draw any random values only once

Simon Hengel sol at typeful.net
Thu Apr 12 19:01:51 BST 2012


> I have had this request before, but decided then that it was not
> really worth spending much time on, because if there are no arguments,
> the result of the property will only be evaluated once anyway, because
> of laziness.

Yes, you are right.  As long as you do not use any IO, it seems to be
only "cosmetic".

It still makes a difference if you do IO (say testing some Database
adaption code, that needs to create a database connection).  And Nick's
changes give me enough flexibility to experiment with.

Cheers,
Simon



More information about the QuickCheck mailing list