泛型系列生成無窮列表

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作爲測試通用實例的提醒。