type_class
type_class copied to clipboard
Clarification regarding generators
Oddly enough, both generators in the documentations and the generator I've seen in Maybe are ignoring their argument and use Enum.random().
This seems to be an anti-pattern in property-based testing because it relies on reproducibility of a random test that caught an error.
I assume that the underlying plumbing somehow sets a global seed for Enum.random(), perhaps mix test even does it itself (hence "Randomized with seed NNN" messages at the end of the tests), but in my opinion a clarification is required here.
Thank you for submitting an issue! It means a lot that you took the time -- it helps us be better 🙏