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/dialyzer/test/opaque_SUITE_data/dialyzer_options | |
| 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/dialyzer/test/opaque_SUITE_data/dialyzer_options')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/dialyzer_options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/dialyzer_options b/lib/dialyzer/test/opaque_SUITE_data/dialyzer_options index ffdf8270c8..06ed52043a 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/dialyzer_options +++ b/lib/dialyzer/test/opaque_SUITE_data/dialyzer_options @@ -1,2 +1,2 @@ {dialyzer_options, [{warnings, [no_unused, no_return]}]}. -{time_limit, 2}. +{time_limit, 20}. |