diff options
| author | Hans Bolinder <[email protected]> | 2014-04-16 09:13:52 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-04-17 08:20:24 +0200 |
| commit | 66e9c3d0ef7b7c947c1d35015589667c5c2aa4f8 (patch) | |
| tree | cd3c994fd7abdc00f43ab58d7f4b4e76dc3f885a /lib/dialyzer/test/small_SUITE_data/src/flatten.erl | |
| parent | cd0104e66c782137058d478f6d202df269f55f64 (diff) | |
| download | otp-66e9c3d0ef7b7c947c1d35015589667c5c2aa4f8.tar.gz otp-66e9c3d0ef7b7c947c1d35015589667c5c2aa4f8.tar.bz2 otp-66e9c3d0ef7b7c947c1d35015589667c5c2aa4f8.zip | |
hipe, dialyzer: Fix a bug concerning opaque types
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 [[email protected]] for pointing out the bug.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src/flatten.erl')
0 files changed, 0 insertions, 0 deletions