diff options
author | Hans Bolinder <[email protected]> | 2017-03-06 15:40:38 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-03-06 15:40:38 +0100 |
commit | 40a25991acedfc2cf13f95208c02c41d59827807 (patch) | |
tree | 6cb9a4e2060cb6ad50d3cd010595414a9fd7d6eb /lib/dialyzer/test/opaque_SUITE_data/results/weird | |
parent | 58e9770a4ca2a1abf8ce4c5d1255e14e9c0ffba8 (diff) | |
parent | 6534f024ec21969fa054afd3f728b3e3d39f6142 (diff) | |
download | otp-40a25991acedfc2cf13f95208c02c41d59827807.tar.gz otp-40a25991acedfc2cf13f95208c02c41d59827807.tar.bz2 otp-40a25991acedfc2cf13f95208c02c41d59827807.zip |
Merge branch 'maint'
* maint:
dialyzer: Improve a warning
dialyzer: Fix a weird warning
dialyzer: Fix an opaque bug
dialyzer: Minor fix
Conflicts:
lib/dialyzer/src/dialyzer_dataflow.erl
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/results/weird')
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/weird | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/weird b/lib/dialyzer/test/opaque_SUITE_data/results/weird new file mode 100644 index 0000000000..d7f57cd152 --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/results/weird @@ -0,0 +1,6 @@ + +weird_warning1.erl:15: Matching of pattern {'a', Dict} tagged with a record name violates the declared type of #b{q::queue:queue(_)} +weird_warning2.erl:13: Matching of pattern <{'b', Queue}, Key, Value> tagged with a record name violates the declared type of <#a{d::dict:dict(_,_)},'my_key','my_value'> +weird_warning3.erl:14: The call weird_warning3:add_element(#a{d::queue:queue(_)},'my_key','my_value') does not have a term of type #a{d::dict:dict(_,_)} | #b{q::queue:queue(_)} (with opaque subterms) as 1st argument +weird_warning3.erl:16: The attempt to match a term of type #a{d::queue:queue(_)} against the pattern {'a', Dict} breaks the opacity of queue:queue(_) +weird_warning3.erl:18: Matching of pattern {'b', Queue} tagged with a record name violates the declared type of #a{d::queue:queue(_)} |