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/ddfs_master/ddfs.hrl | |
| 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/ddfs_master/ddfs.hrl')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/ddfs_master/ddfs.hrl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/ddfs_master/ddfs.hrl b/lib/dialyzer/test/small_SUITE_data/src/ddfs_master/ddfs.hrl new file mode 100644 index 0000000000..e43ec23fe1 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/ddfs_master/ddfs.hrl @@ -0,0 +1,9 @@ +-type volume_name() :: nonempty_string(). + +% Diskinfo is {FreeSpace, UsedSpace}. +-type diskinfo() :: {non_neg_integer(), non_neg_integer()}. +-type volume() :: {diskinfo(), volume_name()}. + +-type object_type() :: 'blob' | 'tag'. +-type object_name() :: binary(). +-type taginfo() :: {erlang:timestamp(), volume_name()}. |