生成无限列表的泛型级数

Question

使用此片段，以及smallcheck-1.0.1

data Foo = A | B | Pair Foo Foo deriving Show
deriving instance Generic Foo
instance (Monad m) => Serial m Foo

然后是这个

list 1 (series :: Series Identity Foo)

生成一个明显的无限列表。

在smallcheck-0.6.1之前，我一直认为它是等价的，它只生成A和B，这是我所期望的。

这是对smallcheck Series的有意改变吗?如果是，有没有一种简单的方法来恢复0.6.1行为。

这里有一些可编译的程序来演示这一点：http://hpaste.org/83927

Answer 1

绝对是个bug --谢谢你的报道。我刚刚上传了1.0.2版本，修复了这个问题。

此外，我还记录了一个issue，作为测试通用实例的提醒。