diff options
author | Hans Bolinder <[email protected]> | 2015-05-05 16:11:12 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-06-15 12:27:40 +0200 |
commit | b109768baf023a0814bda37b452582c7b396ada2 (patch) | |
tree | 5a822f8329876dc2f0bbcf67916256281dd49638 /xcomp/erl-xcomp-arm-linux.conf | |
parent | dc844097e0828a32b1d53238e3527da1991ed711 (diff) | |
download | otp-b109768baf023a0814bda37b452582c7b396ada2.tar.gz otp-b109768baf023a0814bda37b452582c7b396ada2.tar.bz2 otp-b109768baf023a0814bda37b452582c7b396ada2.zip |
dialyzer: Modify warning for comparison of opaque types
Comparing two operands for (in)equality is allowed if both operands
are of the same unknown opaque type. Since OTP 17, there is a warning
if the types of the operands have nothing in common (this cannot
happen before OTP 17). However, the warning says there is a test
between opaque types, which is wrong. The warning now states that the
comparison cannot evaluate to 'true', which is more consistent.
Diffstat (limited to 'xcomp/erl-xcomp-arm-linux.conf')
0 files changed, 0 insertions, 0 deletions