[Haskell-cafe] Smallcheck Depth

Omari Norman omari at smileystation.com
Sun Jun 29 22:44:35 UTC 2014

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 [].

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140629/d34fcfd4/attachment.html>

More information about the Haskell-Cafe mailing list