22 Jul
2014
22 Jul
'14
8:38 a.m.
On Mon, Jul 21, 2014 at 1:30 AM, Nick Smallbone
1. We make sure that tf-random becomes stable and hope it can be included in the next version of the platform.
2. We add a simple TFGen-inspired generator directly to QuickCheck.
3. We fix StdGen by replacing it with a TFGen-inspired implementation.
Number 3 would be best for everyone, but if it doesn't happen maybe option 2 is the most pragmatic one.
I agree that (2) looks like the most pragmatic one.