[Haskell-cafe] Testing polymorphic properties with QuickCheck

[Stuart Hungerford]

On Thu, Feb 19, 2015 at 8:04 AM, Mike Izbicki <mike at izbicki.me> wrote:

> I agree that this is a huge pain.  I've been working on an alternative
> numeric hierarchy, and as part of that I've wanted a completely
> automated test suite.  What I've done is use template haskell to write
> boilerplate code for me.  Currently, I am verifying around 1000
> quickcheck properties, all of which are automatically generated.  I
> suspect that by the time I finish the final number of properties will
> be between 10000-100000, so full automation for this is a must!
>
> Here's a file-by-file breakdown of how it works:

Many thanks for this excellent introduction--I'll check this approach
(and the heirarchy) out.

Stu