diff options
| author | Hans Bolinder <[email protected]> | 2014-08-19 16:16:08 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-08-20 16:53:56 +0200 |
| commit | 6e422d499fe079b87cfa226491b11016f36b9a31 (patch) | |
| tree | 1b795507c5c1a4eff77ddf0991669a71154b9e67 /lib/dialyzer/test/underspecs_SUITE_data/results | |
| parent | c56edba2912e12f15226a1e130fdfac25c29b98f (diff) | |
| download | otp-6e422d499fe079b87cfa226491b11016f36b9a31.tar.gz otp-6e422d499fe079b87cfa226491b11016f36b9a31.tar.bz2 otp-6e422d499fe079b87cfa226491b11016f36b9a31.zip | |
dialyzer: fix a -Wunderspecs bug
Sometimes bogus warnings were generated for parametrized types.
Thanks to Krzesimir Sarnecki for pointing the bug out.
Also corrected warnings where the structure of opaque types were
exposed (thanks to Kostis for pointing the bug out).
Diffstat (limited to 'lib/dialyzer/test/underspecs_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/underspecs_SUITE_data/results/arr | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/dialyzer/test/underspecs_SUITE_data/results/arr b/lib/dialyzer/test/underspecs_SUITE_data/results/arr new file mode 100644 index 0000000000..9497d12eec --- /dev/null +++ b/lib/dialyzer/test/underspecs_SUITE_data/results/arr @@ -0,0 +1,4 @@ + +arr.erl:14: Type specification arr:test2(array:array(T),non_neg_integer(),T) -> array:array(T) is a supertype of the success typing: arr:test2(array:array(_),pos_integer(),_) -> array:array(_) +arr.erl:24: Type specification arr:test4(array:array(T),non_neg_integer(),_) -> array:array(T) is a supertype of the success typing: arr:test4(array:array(_),pos_integer(),_) -> array:array(_) +arr.erl:29: Type specification arr:test5(array:array(T),non_neg_integer(),T) -> array:array(T) is a supertype of the success typing: arr:test5(array:array(_),non_neg_integer(),integer()) -> array:array(_) |