Generics Series Gene Infinite Liste

Question

Mit diesem Fragment und smallcheck-1.0.1

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

dann diese

list 1 (series :: Series Identity Foo) 

erzeugt eine scheinbar unendliche Liste.

Etwas, von dem ich dachte, dass es äquivalent war, bis smallcheck-0.6.1 nur [A, B] erzeugt und das ist, was ich erwarten würde.

Ist dies eine beabsichtigte Änderung der Smallcheck-Serie, und wenn ja, gibt es eine einfache Möglichkeit, das Verhalten von 0.6.1 wiederherzustellen.

Es gibt übersetzbar Programme dies hier zu demonstrieren: http://hpaste.org/83927

Answer 1

Auf jeden Fall ein Fehler - Dank für die Berichterstattung. Ich habe gerade v1.0.2 hochgeladen, die es behebt.

Zusätzlich habe ich eine issue als eine Erinnerung zum Testen generische Instanzen aufgezeichnet.