We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f5dbdf6 commit 8b023deCopy full SHA for 8b023de
src/Hedgehog/Shrink.fs
@@ -100,15 +100,15 @@ module Shrink =
100
101
let inline createTree (destination : ^a) (x : ^a) =
102
let one = LanguagePrimitives.GenericOne
103
- let rec binarySearchTree (destination : ^a) (x : ^a) =
+ let rec binarySearchTree ((destination : ^a), (x : ^a)) =
104
let xs =
105
towards (destination + one) x
106
|> Seq.cons destination
107
|> Seq.pairwise
108
- |> Seq.map (fun (d, x) -> binarySearchTree d x)
+ |> Seq.map binarySearchTree
109
Node (x, xs)
110
if destination = x then
111
Node (x, Seq.empty)
112
else
113
- binarySearchTree destination x
+ binarySearchTree (destination, x)
114
|> Tree.addChildValue destination
0 commit comments