Kurt Schelfthout

Have a look at ArbMap which now contains the mapping type to Arb instance explicitly. On 14 Sep 2023, at 23:06, Lewis Campbell ***@***.***> wrote: Reading https://fscheck.github.io/FsCheck//TestData.html It says: "Arb.from

I know this is far from obvious. Besides the obvious problem that the documentation is out of date, the problem of automatic generation is actually pretty thorny. Because you often...

ok...probably we need to check for that in `PropertyAttribute`.

Yes, that's because every exception is interpreted as a fail. We need to filter for whatever exception NUnit throws from `Assert.Pass` in `FsCheck.Nunit`, I guess.

Hm yes good point. Probably a bug here: https://github.com/fscheck/FsCheck/blob/master/src/FsCheck/Testable.fs#L22 Some (all?) of those match arms should merge labels. (labels is where things like `collect` and `classify` add a string per...

> I.e. for and this would imply combining the labels from both left and right (when Outcome.Passed), but for or we are only interested in the labels from the valid...

Indeed. There seem to be quite a few changes. FsCheck.NUnit has generally been "community-maintained" as I don't use it myself....hint hint.

Appreciate the idea @brianberns. I understand the utility of `pick` (combining transformation with filtering), but a few thoughts on the "cost" side of the equation. Implementation wise, would something like...

Related: there's also [Interval](https://github.com/fscheck/FsCheck/blob/master/src/FsCheck/Arbitrary.fs#L78)

> Maybe an idea to create an extra generator that generate the built-in System.Range from an Interval? Yeah I think that makes sense. Or even extract the code and parametrize...