[Haskell-cafe] Smallcheck Depth
roma at ro-che.info
Mon Jun 30 01:37:37 UTC 2014
* Omari Norman <omari at smileystation.com> [2014-06-29 18:44:35-0400]
> The docs for smallcheck, and the original paper, say that the depth is the
> depth of nested constructor applications.
> For some reason this behavior has changed in newer versions of Smallcheck
> and maybe someone can shed some light on why. For instance, I would think
> the depth of True and False is 0, as there are no nested constructors.
> Sure enough, in Smallcheck 0.2.1,
> (series 0) :: [Bool]
> gives [True, False]. Yet in smallcheck 1.1.1,
> (list 0 series) :: [Bool]
> gives .
No good reason (for either behavior).
A general principle on how series begin would be good to have. series 0 = 
could be one such principle (but I'm not sure all the instances follow it at the
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: Digital signature
More information about the Haskell-Cafe