No instances of class FsCheck.Testable+ITestable1[T] for type Microsoft.FSharp.Collections.FSharpList1[FsCheck.Property] about fscheck HOT 3 CLOSED

This is an intentional removal in 3.0. I think I also wanted to remove the @| operators but probably forgot, so you got "lucky" there ;)

I'd advice using instead:

test1 |> Prop.label"label 1"
.&. test2 |> Prop.label "label 2"

Which may need some additional parens.

I also generally wanted to move away from having to maintain API for combining properties in this way. Using a test runner/assertion library like xunit or nunit is the suggested way forward here.

At the time, I felt like maintaining the additional, and bespoke API surface in FsCheck was not really worth it. People seem to like being able to return bools as assertions and combining them. I've found in practice that assertions while a bit more verbose often give better error indications.

from fscheck.

Last, would it make sense to expose ITestable for custom implementations?

Another reason for this might be to facilitate helper functions, for example if I want to make a helper like:

    let testAll (tests: 'a seq) : FsCheck.Property = tests |> Seq.reduce (.&.)

F# constrains 'a to be a Property, when ideally it would be anything implementing ITestable, but I don't think there's any way to prevent this with the current API

from fscheck.

In other words, as you can see from other issues, the docs are out of date on this...I've barely changed them from the 2.0 version.

from fscheck.