diff options
author | Hans Bolinder <[email protected]> | 2014-08-21 08:59:57 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2014-08-21 08:59:57 +0200 |
commit | 0f0befab60ccd0bb75972932299a2b4c0522325a (patch) | |
tree | f3e93f6bdb0af221e40dd18df2db5489ac7e8588 /lib/dialyzer/test/underspecs_SUITE_data/results/arr | |
parent | 69fbb4bd0466931882cc275b1ecb1f81fee97f0d (diff) | |
parent | daed987f7ebae3fc8f969b4f55f225837267411b (diff) | |
download | otp-0f0befab60ccd0bb75972932299a2b4c0522325a.tar.gz otp-0f0befab60ccd0bb75972932299a2b4c0522325a.tar.bz2 otp-0f0befab60ccd0bb75972932299a2b4c0522325a.zip |
Merge branch 'maint'
* maint:
dialyzer: fix a -Wunderspecs bug
Diffstat (limited to 'lib/dialyzer/test/underspecs_SUITE_data/results/arr')
-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(_) |