fsharp-hedgehog icon indicating copy to clipboard operation
fsharp-hedgehog copied to clipboard

Example on the front page is wrong

Open LAC-Tech opened this issue 2 years ago • 3 comments

let propReverse : Property<bool> =
    property {
        let! xs = Gen.list (Range.linear 0 100) Gen.alpha
        return xs |> List.rev |> List.rev = xs
        }

This can't be piped into Property.render |> printfn "%s", Property.render needs Property<unit> as an argument.

I got hedgehog with dotnet package add Hedgehog

LAC-Tech avatar Sep 15 '23 04:09 LAC-Tech

Thanks for reporting.

The correct fix is to first pipe into Property.falseToFailure.

Can you create a PR with this change?

TysonMN avatar Sep 18 '23 10:09 TysonMN