<div dir="ltr">The docs for smallcheck, and the original paper, say that the depth is the depth of nested constructor applications.<div><br></div><div>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,</div>
<div><br></div><div>(series 0) :: [Bool]</div><div><br></div><div>gives [True, False]. Yet in smallcheck 1.1.1,</div><div><br></div><div>(list 0 series) :: [Bool]</div><div><br></div><div>gives [].</div><div><br></div><div>
Thanks.</div><div>Omari</div></div>