diff options
author | Hans Bolinder <[email protected]> | 2017-02-28 13:08:41 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-02-28 14:37:15 +0100 |
commit | 4827fa95257c1d68bcdcac2c6d4a35cd8b56d8cd (patch) | |
tree | 0e7de02605cba86d03081b921b1488bc6ca7d21f /lib/dialyzer/test/opaque_SUITE_data/results | |
parent | 02b31b9229a8631a1ecd9b1de90aa7620f46084b (diff) | |
download | otp-4827fa95257c1d68bcdcac2c6d4a35cd8b56d8cd.tar.gz otp-4827fa95257c1d68bcdcac2c6d4a35cd8b56d8cd.tar.bz2 otp-4827fa95257c1d68bcdcac2c6d4a35cd8b56d8cd.zip |
dialyzer: Fix an opaque bug
An opaque bug that would crash Dialyzer has been fixed.
The bug was reported by Nick Marino.
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/results')
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/weird | 3 |
1 files changed, 3 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..cffba85b9f --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/results/weird @@ -0,0 +1,3 @@ + +weird_warning1.erl:15: The attempt to match a term of type #b{q::queue:queue(_)} against the pattern {'a', Dict} breaks the opacity of queue:queue(_) +weird_warning2.erl:13: The attempt to match a term of type <#a{d::dict:dict(_,_)},'my_key','my_value'> against the pattern <{'b', Queue}, Key, Value> breaks the opacity of dict:dict(_,_) |