`[@@deriving quickcheck]` causes type error

[wang-d]

type 'a t = Zero | Succ of 'a t [@@deriving quickcheck]

causes this error:

This expression should not be a function, the expected type is
 'a Base_quickcheck.Generator.t 

Can you reproduce?

What is the recommended way to generate quickcheck values for this type?

[ceastlund]

I can reproduce that. I'll look into it, I had not been aware of this error.

[ceastlund]

Thanks for this report. Looks like recursive types with type parameters were broken in general. They're fixed now internally. The unstable github sources should pick up the fix soon (generally weekly); the opam release should pick up the fix next time we do a public release (should be in a few months).

[wang-d]

Thanks for the quick fix. I'll let you close this issue whenever your workflow would dictate.

[aalekseyev]

Should be fixed in 54cdf7f.

[Kakadu]

@aalekseyev Any plans to make a release in 2022?

[aalekseyev]

@Kakadu, very much so. I think it will happen this month.