Just a short note to announce v0.5.1 of FsCheck, which fixes some bugs in 0.5 and includes one improvement in the category I-can't-believe-I-didn't-see-this-earlier.
- Bug fix: no more escaping exceptions when using lazy
- Bug fix: no extra initialization (init.Value) necessary when registering generators 'early'
- check (and quickCheck, verboseCheck) now take a simple value 'a instead of a function value 'a->'b as argument, so you can just write 'quickCheck <| forAll ...' instead of 'quickCheck (fun () -> forAll ...)'.
I don't see any reason not to update if you're using 0.5.