diff options
author | Hans Bolinder <[email protected]> | 2015-12-09 15:05:40 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-12-15 08:55:07 +0100 |
commit | ce1cffd6f8812fa6216d9d71afaca20e789b7beb (patch) | |
tree | 7b88bb1a63bb087a50cf1a1569b18ca91234807b /lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 | |
parent | 2af883c62efe6bae1bf9013783f43a5b9848c237 (diff) | |
download | otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.tar.gz otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.tar.bz2 otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.zip |
dialyzer: Print constraints using the '::' syntax
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 | 2 |
1 files changed, 1 insertions, 1 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 index 9f5433a13d..1a8aeb13d0 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 +++ b/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 @@ -1,3 +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',_}) +contracts_with_subtypes2.erl:19: The call contracts_with_subtypes2:t({'a',{'b',{'c',{'d',{'e',{'g',3}}}}}}) breaks the contract (Arg) -> 'ok' when Arg :: {'a',A}, A :: {'b',B}, B :: {'c',C}, C :: {'d',D}, D :: {'e',E}, E :: {'f',_} |