<div dir="ltr">Hi Cobus!<div><br></div><div>We have had a look at your code, and we think that this is indeed something that you could contribute to the gb_trees module (we do not want a new module for this). A pull request is the way to go. Please follow these guidelines: <a href="https://github.com/erlang/otp/wiki/submitting-patches">https://github.com/erlang/otp/wiki/submitting-patches</a>.</div>
<div><br></div><div>Please note that tests must be done using common_test (stdlib/test/dict_SUITE.erl) and documentation must be added to stdlib/doc/src/gb_trees.xml.</div><div><br></div><div>Best Regards</div><div>/siri</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">2014-04-22 20:42 GMT+02:00 Cobus Carstens <span dir="ltr"><<a href="mailto:cobus.carstens@gmail.com" target="_blank">cobus.carstens@gmail.com</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all<br>
<br>
I wrote 4 utility functions[1] that allows searching a gb_tree for:<br>
- the smallest key greater than the specified one<br>
- the smallest key greater or equal to the specified one<br>
- the greatest key smaller than the specified one<br>
- the greatest key smaller or equal to the specified one.<br>
<br>
This is nothing special, but my question (mostly directed to the OTP<br>
people) is: Would this be something that I can contribute to the<br>
gb_trees module (or maybe a gb_trees_utils module)? Would a<br>
pull-request suffice?<br>
<br>
[1] For those interested, the implementation can be found at:<br>
<a href="https://github.com/cobusc/erlang_gb_trees_utils" target="_blank">https://github.com/cobusc/erlang_gb_trees_utils</a><br>
<br>
Regards,<br>
  Cobus<br>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</blockquote></div><br></div>