29 Jun
2014
29 Jun
'14
9:37 p.m.
* Omari Norman
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 moment). Roman