diff options
| author | Anders Svensson <[email protected]> | 2017-04-04 11:24:48 +0200 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2017-06-11 16:30:38 +0200 |
| commit | 200697ef596dbe689443834aaf5aa0303971ca5d (patch) | |
| tree | f4cdb610aa255a9b4b6cb42f67eaf224dac90ace /.gitattributes | |
| parent | ca09cf7b697798aca5a4f81a11d5ad1d90f4107e (diff) | |
| download | otp-200697ef596dbe689443834aaf5aa0303971ca5d.tar.gz otp-200697ef596dbe689443834aaf5aa0303971ca5d.tar.bz2 otp-200697ef596dbe689443834aaf5aa0303971ca5d.zip | |
Fix incomprehensible dialyzer warning
This:
diameter_tcp.erl:241: Record construction #transport{parent::'false',ssl::boolean() | maybe_improper_list(),frag::<<>>,tref::'false',flush::'false',pending::0,reset::{1 | 4,0 | 2},throttled::boolean(),q::{0,queue:queue(_)},monitor::'undefined' | pid()} violates the declared type of field parent::pid()
The problem isn't #transport.pid at all, it's #monitor.pid, and the only
relation is that the pid that's assigned to the latter is also (later)
assigned to the former. There is no record construction that assigns
false to #transport.parent.
Introduced in commit 33a535e4.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions