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