diff options
| author | Henrik Nord <[email protected]> | 2012-10-03 15:20:09 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-10-03 15:20:09 +0200 |
| commit | 197b7b99b9e7e70046d51fa90b5922a1b22ee8cc (patch) | |
| tree | 3b11293ba7a0ab2229b5b3b9da072be041f29c0f /lib/dialyzer/test/small_SUITE_data/results | |
| parent | 54e7cc9086908a0e5642caa6ac3680557acc5a67 (diff) | |
| parent | ab151d0adebc31fbb74adffa69e4524f69dc8b62 (diff) | |
| download | otp-197b7b99b9e7e70046d51fa90b5922a1b22ee8cc.tar.gz otp-197b7b99b9e7e70046d51fa90b5922a1b22ee8cc.tar.bz2 otp-197b7b99b9e7e70046d51fa90b5922a1b22ee8cc.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes b/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes index 8dc0361b0d..4850f3ff0c 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes +++ b/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes @@ -6,7 +6,7 @@ contracts_with_subtypes.erl:109: The call contracts_with_subtypes:rec_arg({'b',{ contracts_with_subtypes.erl:110: The call contracts_with_subtypes:rec_arg({'a',{'b',{'a','b'}}}) breaks the contract (Arg) -> 'ok' when is_subtype(Arg,{'a',A} | {'b',B}), is_subtype(A,'a' | {'b',B}), is_subtype(B,'b' | {'a',A}) contracts_with_subtypes.erl:111: The call contracts_with_subtypes:rec_arg({'b',{'a',{'b','a'}}}) breaks the contract (Arg) -> 'ok' when is_subtype(Arg,{'a',A} | {'b',B}), is_subtype(A,'a' | {'b',B}), is_subtype(B,'b' | {'a',A}) contracts_with_subtypes.erl:142: The pattern 1 can never match the type binary() | string() -contracts_with_subtypes.erl:145: The pattern 'alpha' can never match the type {'ok',X} | {'ok',X,binary() | string()} +contracts_with_subtypes.erl:145: The pattern 'alpha' can never match the type {'ok',_} | {'ok',_,binary() | string()} contracts_with_subtypes.erl:147: The pattern 42 can never match the type {'ok',_} | {'ok',_,binary() | string()} contracts_with_subtypes.erl:163: The pattern 'alpha' can never match the type {'ok',X} contracts_with_subtypes.erl:165: The pattern 42 can never match the type {'ok',X} |