Re: [Haskell-cafe] Testing polymorphic properties with QuickCheck

On Thu, Feb 19, 2015 at 8:04 AM, Mike Izbicki 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