[Haskell] ANN: SmallCheck 0.1

[Colin Runciman]

Don,

>Let's run QuickCheck (check) head to head with SmallCheck (scheck): 
>...
>    lambdabot> scheck \s -> not (null s) ==> minimum (s :: [Int]) == (last . sort) s
>      Failed test no. 10. Test values follow.: [-1,-1,-1,-1,-1,-1,-1,0]
>
>    lambdabot> check \s -> not (null s) ==> minimum (s :: [Int]) == (last . sort) s
>     Falsifiable, after 1 tests: [2,1]
>  
>
So your plugin  is based on depthCheck 8, not the iterative deepening
of smallCheck; otherwise smallCheck would report [-1,0] as the first
failure.

I'll add a 'batch' version of iterative deepening.

>One thing needed for online use: some more instances for the various numeric
>types might be useful, Float, Double, Ratio, Complex etc.
>  
>
Fair point.  I admit that I rarely use numbers other than the non-negative
integers when programming. Even deciding to include -1 in the default Int
series was a trip into an alien world. :-)  

I'll add some simple default instances for other numeric types used by
the more arithmetically adventurous.

Colin