[Haskell-cafe] SmallCheck Depth

[Omari Norman]

The original SmallCheck paper [0] gives a type

data Name = P | Q | R

and states that all values of type Name have depth 0.  To me this
suggests that all values of type Bool would have depth 0 as well,
seeing as Bool would simply be

data Bool = True | False

Sure enough, if I load up ghci with SmallCheck 0.2.1, I get

> series 0 :: [Bool]
[True, False]

But in QuickCheck 1.1.1 I get

> list 0 series :: [Bool]
[]

Very puzzling to me is that it seems the definition of series for Bool
has not changed in the new version.  Both versions have something like

series = cons0 True \/ cons0 False

So what explains the different behavior?  Thanks.  --Omari

[0] http://www.cs.york.ac.uk/fp/smallcheck/smallcheck.pdf