diff options
| author | Hans Bolinder <[email protected]> | 2019-03-22 11:58:58 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-04-29 12:00:31 +0200 |
| commit | 19e8e534cc26d890378265907ff0a56c101f2625 (patch) | |
| tree | 38d9db9e23d5bcbac5a502aef1c0fc806d355fa9 /lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2 | |
| parent | 87e748eda909272ab4c2178fdfe83bb74eef898b (diff) | |
| download | otp-19e8e534cc26d890378265907ff0a56c101f2625.tar.gz otp-19e8e534cc26d890378265907ff0a56c101f2625.tar.bz2 otp-19e8e534cc26d890378265907ff0a56c101f2625.zip | |
dialyzer: Fix dialyzer_dataflow:format_args_1()
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 1a8aeb13d0..6d611db568 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 Arg :: {'a',A}, A :: {'b',B}, B :: {'c',C}, C :: {'d',D}, D :: {'e',E}, 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',_} |