haskell - 無限リストを生成するジェネリックシリーズ

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をアップロードしました。

さらに、汎用インスタンスをテストするためのリマインダーとして問題を記録しました。