[Haskell-cafe] Re: Zero-arity tests in QuickCheck and displaying expected result

Donald Bruce Stewart dons at cse.unsw.edu.au
Mon Apr 16 17:09:39 EDT 2007

> On Apr 16, 2007, at 9:29 PM, Donald Bruce Stewart wrote:
> >It's interesting to note that QuickCheck generalises unit testing:
> >zero-arity QC properties are exactly unit tests.
> I don't think this works very well. I rely quite heavily on being  
> able to compare expected output with test results and QC does not  
> seem to provide for this feature when tests are zero arity.
> Am I missing something?

That's just the default driver. Plenty of custom drivers exist which
compare the output. The QC driver is just a function you implement,
after all.

-- Don

More information about the Haskell-Cafe mailing list