diff options
| author | Hans Bolinder <[email protected]> | 2016-09-16 11:54:57 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-10-06 16:37:59 +0200 |
| commit | 87a13c257bfd5a53b6803bc2d714afb13106c243 (patch) | |
| tree | ce5b5882e1889649c57ed3466d26c03ec3cfd92d /lib/ic | |
| parent | 5acfcf3758f89ba32d44807cd8cb406a55d39836 (diff) | |
| download | otp-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