aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/TODO
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-01-02 21:05:52 +0100
committerHans Bolinder <[email protected]>2017-01-10 09:54:43 +0100
commit1a7c41be2b35df26acb81bb03a96b4e97f0fd750 (patch)
tree0948dae9272f7b506141f13c96153d33d185227f /lib/hipe/TODO
parent61547cab473396ac5ec03b491fd74c8fe7e7ce54 (diff)
downloadotp-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 'lib/hipe/TODO')
0 files changed, 0 insertions, 0 deletions