diff options
| author | Hans Bolinder <[email protected]> | 2015-08-18 14:54:29 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-08-19 09:24:42 +0200 |
| commit | 050d93682e07e0c50667dbfb1468389078b776f2 (patch) | |
| tree | ce3b83a54a09a44b886ea157768668ab54d79105 /lib/dialyzer/src/dialyzer_behaviours.erl | |
| parent | 0b29b85757d186a5cc94aaa1761e812c95fec2d0 (diff) | |
| download | otp-050d93682e07e0c50667dbfb1468389078b776f2.tar.gz otp-050d93682e07e0c50667dbfb1468389078b776f2.tar.bz2 otp-050d93682e07e0c50667dbfb1468389078b776f2.zip | |
dialyzer: Fix a bug concerning parameterized opaque types
The example is provided by James Fish in
http://erlang.org/pipermail/erlang-questions/2014-December/082204.html.
Note that warnings with text such as "the _ variable breaks
opaqueness" are still possible.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_behaviours.erl')
0 files changed, 0 insertions, 0 deletions