Hi Mark, On Tuesday 15 July, 2014 at 06:44 am, Mark Lentczner wrote:
Unsure:
- Not sure if you want QuickCheck 2.7.5 rather than 2.6 -- cc'ing QuickCheck devs: Would they like to weigh in?
I've uploaded version 2.7.6 which fixes a bug in 2.7.5, BTW. But, as I recall, the problem with QC 2.7 and HP was that we now depend on the tf-random package for random number generation. If I understand correctly this was a showstopper from your point of view, because of tf-random's newness and potential instability. The stability of tf-random doesn't bother me because it's a purely internal dependency of QuickCheck - unless you really dig into the guts of QC you won't find any trace of tf-random, and you certainly don't need to use its API. However, I totally understand that if tf-random got added to the HP, people might start using it outside of QC, and then it would be a problem! I think this change was something we had to do - we've known about the bug in StdGen for almost five years now and at some point we have to give up on it being fixed and switch away. So I'm quite philosophical if we can't get the latest QC in the Platform this time around. However, there should be a plan for getting it into the next release at least. Here are some possibilities: 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. Nick