aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/underspecs_SUITE_data/results
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-08-19 16:16:08 +0200
committerHans Bolinder <[email protected]>2014-08-20 16:53:56 +0200
commit6e422d499fe079b87cfa226491b11016f36b9a31 (patch)
tree1b795507c5c1a4eff77ddf0991669a71154b9e67 /lib/dialyzer/test/underspecs_SUITE_data/results
parentc56edba2912e12f15226a1e130fdfac25c29b98f (diff)
downloadotp-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/arr4
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(_)