diff options
| author | Hans Bolinder <[email protected]> | 2014-08-21 08:57:23 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-08-21 08:57:23 +0200 |
| commit | daed987f7ebae3fc8f969b4f55f225837267411b (patch) | |
| tree | 1b795507c5c1a4eff77ddf0991669a71154b9e67 /lib/dialyzer/test/underspecs_SUITE_data/results/arr | |
| parent | c56edba2912e12f15226a1e130fdfac25c29b98f (diff) | |
| parent | 6e422d499fe079b87cfa226491b11016f36b9a31 (diff) | |
| download | otp-daed987f7ebae3fc8f969b4f55f225837267411b.tar.gz otp-daed987f7ebae3fc8f969b4f55f225837267411b.tar.bz2 otp-daed987f7ebae3fc8f969b4f55f225837267411b.zip | |
Merge branch 'hb/dialyzer/bugfix/OTP-12111' into maint
* hb/dialyzer/bugfix/OTP-12111:
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(_) |