[erlang-patches] better delete_any in gb_{sets, trees}, better difference in gb_sets

[Francesco Mazzoli]

Hi Bjorn,

Thanks for your answer.

> I cannot speak for gb_trees and gb_sets specifically other than saying
> that if a patch,
>
> - fixes a problem,
> - or increases performance,
> - does not break existing functionality,
> - works for every platform, including Windows! (mainly a c-code problem),
> - and proves this with testcases and a explanation in readable text
>
> it is a pretty safe bet it will be included in Erlang/OTP.

Ok, then I'll probably work on an implementation this week and post it 
as a follow up to this discussion.

Francesco.