Verified Commit c9e198a8 authored by Camil Staps's avatar Camil Staps 🚀

Fix balancedness of Data.Set

parent 8116b1cf
Pipeline #43819 passed with stage
in 2 minutes and 19 seconds
......@@ -454,7 +454,7 @@ maxView x = Just (deleteFindMax x)
However (since we use quickcheck :-) we will stick to strictly balanced
trees.
--------------------------------------------------------------------*/
delta :== 4
delta :== 3
ratio :== 2
// Functions balanceL and balanceR are specialised versions of balance.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment