[erlang-bugs] Dialyzer re-factoring in maint fixes a bug and should make it to maint-17

[Nicolas Dudebout]

The "minor re-factoring" mentioned in
https://github.com/erlang/otp/commit/197a8467f465930372f31c8f8b7340f8339aa23a
actually fixes a bug.

cleanup_compile_options/1 is supposed to filter out elements from a list.
However, the original implementation does not recurse properly and filters
out at most one option. The re-factored implementation does not have this
problem.

This bug is preventing me from creating a PLT file for some libraries
compiled with r16b03 by using the dialyzer included with 17.3. Applying
this patch solves the problem.

I think that this patch should be applied to maint-17.

Nicolas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20141123/4eb83419/attachment.htm>