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

[Donald Bruce Stewart]

joelr1:
> 
> 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