Dialyzer re-factoring in maint fixes a bug and should make it to maint-17

Nicolas Dudebout <[email protected]>
Newsgroups gmane.comp.lang.erlang.bugs
Message-ID <CA+TMmKkM=ksy4Eo1BRZo3YxHz9uSC5xXgE4R+keAVG-MMwOqGw@mail.gmail.com> 
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

_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.