aboutsummaryrefslogtreecommitdiffstats
path: root/lib/ic
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2016-09-16 11:54:57 +0200
committerHans Bolinder <[email protected]>2016-10-06 16:37:59 +0200
commit87a13c257bfd5a53b6803bc2d714afb13106c243 (patch)
treece5b5882e1889649c57ed3466d26c03ec3cfd92d /lib/ic
parent5acfcf3758f89ba32d44807cd8cb406a55d39836 (diff)
downloadotp-87a13c257bfd5a53b6803bc2d714afb13106c243.tar.gz
otp-87a13c257bfd5a53b6803bc2d714afb13106c243.tar.bz2
otp-87a13c257bfd5a53b6803bc2d714afb13106c243.zip
dialyzer: Fix opaque bugs
t_from_form() sometimes returned a more general type than it should have done due to a bug in from_form_loop(): it stopped when the limit was exceeded, which could mean a collapsed type. Returning a type with smaller depth should fix this. is_specialization() now handles opaque types before unions, which should fix another problem. The bugs reported by Kostis.
Diffstat (limited to 'lib/ic')
0 files changed, 0 insertions, 0 deletions