Generics Dòng Tạo Infinite Danh sách

Question

Với đoạn này, và smallcheck-1.0.1

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

thì đây

list 1 (series :: Series Identity Foo) 

tạo ra một danh sách rõ ràng vô hạn.

Điều mà tôi nghĩ là tương đương cho đến khi smallcheck-0.6.1 chỉ tạo [A, B] và là những gì tôi mong đợi.

Đây có phải là một thay đổi dự định cho Smallcheck Series hay không và nếu có, có cách dễ dàng để lấy lại hành vi 0.6.1 không.

Có những chương trình biên dịch được để chứng minh điều này ở đây: http://hpaste.org/83927

Answer 1

Chắc chắn là một lỗi - cảm ơn cho báo cáo. Tôi vừa tải lên v1.0.2 để sửa lỗi.

Ngoài ra, tôi đã ghi lại issue làm lời nhắc kiểm tra các phiên bản Chung.