X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Data%2FMap.hs;h=92cf158c4d1897f2121385cf5090db9db987b50a;hb=9ecf132d64d35e5997c12286f509b2f8d7f2a7ef;hp=a76b62bea5425c6ab93aa8ed1ff606f79eec0c49;hpb=fde71f72181bed62ed528e789d6cb0366e478b0b;p=ghc-base.git diff --git a/Data/Map.hs b/Data/Map.hs index a76b62b..92cf158 100644 --- a/Data/Map.hs +++ b/Data/Map.hs @@ -1232,7 +1232,7 @@ deleteFindMax t - A lower [delta] leads to a more 'perfectly' balanced tree. - A higher [delta] performs less rebalancing. - - Balancing is automaic for random data and a balancing + - Balancing is automatic for random data and a balancing scheme is only necessary to avoid pathological worst cases. Almost any choice will do, and in practice, a rather large [delta] may perform better than smaller one.