diff options
author | Ingela Anderton Andin <[email protected]> | 2014-03-21 15:22:21 +0100 |
---|---|---|
committer | Ingela Anderton Andin <[email protected]> | 2014-03-21 15:22:21 +0100 |
commit | 425a75a11ea58125b67ad56f4ed3ca65370a3e72 (patch) | |
tree | 80fa08785954c031c985557e9179a62c10de8a5d /lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 | |
parent | 3c06b5b3cdde72453d97910889e38e91c1dd4870 (diff) | |
parent | 78ad5368f520c5fa6400d4f16909b23fe5225255 (diff) | |
download | otp-425a75a11ea58125b67ad56f4ed3ca65370a3e72.tar.gz otp-425a75a11ea58125b67ad56f4ed3ca65370a3e72.tar.bz2 otp-425a75a11ea58125b67ad56f4ed3ca65370a3e72.zip |
Merge branch 'master' of git-server:otp
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 b/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 new file mode 100644 index 0000000000..9f5433a13d --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 @@ -0,0 +1,3 @@ + +contracts_with_subtypes2.erl:18: Function t/0 has no local return +contracts_with_subtypes2.erl:19: The call contracts_with_subtypes2:t({'a',{'b',{'c',{'d',{'e',{'g',3}}}}}}) breaks the contract (Arg) -> 'ok' when is_subtype(Arg,{'a',A}), is_subtype(A,{'b',B}), is_subtype(B,{'c',C}), is_subtype(C,{'d',D}), is_subtype(D,{'e',E}), is_subtype(E,{'f',_}) |