<div dir="ltr"><div>Kenji:<br></div>Thanks for the response, but my question was about the dialyzer error *with* this option given to the compiler.<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Apr 11, 2014 at 9:16 PM, Kenji Rikitake <span dir="ltr"><<a href="mailto:kenji@k2r.org" target="_blank">kenji@k2r.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">See OTP-10342 at <a href="http://www.erlang.org/download/otp_src_17.0.readme" target="_blank">http://www.erlang.org/download/otp_src_17.0.readme</a>.<br>
<br>
Quote:<br>
<br>
A compiler option, nowarn_deprecated_type, has been<br>
introduced. By including the attribute<br>
<br>
-compile(nowarn_deprecated_type).<br>
<br>
in an Erlang source file, warnings about deprecated types can<br>
be avoided in Erlang/OTP 17.0.<br>
<br>
The option can also be given as a compiler flag:<br>
<br>
erlc +nowarn_deprecated_type file.erl<br>
<br>
Unquote.<br>
<br>
Kenji Rikitake<br>
<br>
++> Shayan Pooya <<a href="mailto:shayan@liveve.org">shayan@liveve.org</a>> [2014-04-11 10:03:05 -0400]:<br>
> Date: Fri, 11 Apr 2014 10:03:05 -0400<br>
> From: Shayan Pooya <<a href="mailto:shayan@liveve.org">shayan@liveve.org</a>><br>
> To: "<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a>" <<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a>><br>
> Subject: [erlang-questions] Erlang 17 issue with dialyzer and<br>
> nowarn_deprecated_type<br>
<div><div class="h5">><br>
> Hello,<br>
><br>
> In order to make Disco compile with Erlang 17 without warnings, I added<br>
> nowarn_deprecated_type to silence the warnings. However, after doing so,<br>
> dialyzer fails with the following error:<br>
><br>
> ddfs_master.erl:345: Attempt to test for inequality between a term of type<br>
> 'false' and a term of opaque type 'false' | gb_set()<br>
><br>
><br>
> (<br>
> <a href="https://github.com/discoproject/disco/blob/develop/master/src/ddfs/ddfs_master.erl#L345" target="_blank">https://github.com/discoproject/disco/blob/develop/master/src/ddfs/ddfs_master.erl#L345</a><br>
> )<br>
><br>
><br>
> Oddly enough, a simple s/gb_set()/gb_sets:gb_set()/g in this file fixes<br>
> this issue but I do not want to do that since it breaks the builds for<br>
> older versions (and that's the reason nowarn_deprecated_type has been<br>
> added).<br>
><br>
> Any suggestions? The error message itself does not make much sense to me.<br>
><br>
> Regards.<br>
<br>
</div></div>> _______________________________________________<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>
<br>
</blockquote></div><br></div>