otp.git/lib/dialyzer/test/small_SUITE_data/src/ddfs_master, branch maint Mirror of Erlang/OTP repository. hipe, dialyzer: Fix a bug concerning opaque types 2014-04-17T06:20:24+00:00 Hans Bolinder hasse@erlang.org 2014-04-16T07:13:52+00:00 66e9c3d0ef7b7c947c1d35015589667c5c2aa4f8 Dialyzer sometimes output warnings like Attempt to test for inequality between a term of type 'false' and a term of opaque type 'false' | gb_set() The reason was that erl_types:t_inf/3 when called from erl_types:t_find_unknown_opaque() did not return 'false' but found the mismatch. It should not return the mismatch unless the intersection is empty ('none'). Thanks to Shayan Pooya [shayan@liveve.org] for pointing out the bug. 
Dialyzer sometimes output warnings like

  Attempt to test for inequality between a term of type 'false' and a
  term of opaque type 'false' | gb_set()

The reason was that erl_types:t_inf/3 when called from
erl_types:t_find_unknown_opaque() did not return 'false' but found the
mismatch. It should not return the mismatch unless the intersection is
empty ('none').

Thanks to Shayan Pooya [shayan@liveve.org] for pointing out the bug.