diff options
author | Hans Bolinder <[email protected]> | 2017-01-02 21:05:52 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-01-10 09:54:43 +0100 |
commit | 1a7c41be2b35df26acb81bb03a96b4e97f0fd750 (patch) | |
tree | 0948dae9272f7b506141f13c96153d33d185227f /LICENSE.txt | |
parent | 61547cab473396ac5ec03b491fd74c8fe7e7ce54 (diff) | |
download | otp-1a7c41be2b35df26acb81bb03a96b4e97f0fd750.tar.gz otp-1a7c41be2b35df26acb81bb03a96b4e97f0fd750.tar.bz2 otp-1a7c41be2b35df26acb81bb03a96b4e97f0fd750.zip |
dialyzer: Fix check of parameterized opaque types
Two parameters used to be "compatible" if one is a specialization of
the other, in the way that the input type of t_limit() is a
specialization of the output type. This check is now relaxed: any() in
any of the two parameters is compatible with any type of the other
parameter.
The change is due to bugus warnings.
A clause for maps has been added.
Diffstat (limited to 'LICENSE.txt')
0 files changed, 0 insertions, 0 deletions