泛型系列生成无限列表

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系列的预期更改，如果是这样，是否有一种简单的方法可以恢复0.6.1行为。

这里有可编辑的程序来证明这一点： http://hpaste.org/83927

Answer 1

肯定是一个错误 - 感谢报道。我刚刚上传了修复它的v1.0.2。

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