diff options
| author | Björn Gustavsson <[email protected]> | 2010-11-22 10:50:41 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-11-22 10:58:21 +0100 |
| commit | 17c9c38aeac6495cb599f72cfa3872ebec01c4cd (patch) | |
| tree | d1c29de633aeaad7f6bf88522385e39e0f5920e5 /lib/dialyzer | |
| parent | 7ceec2cef3643f2c2f63ae169f74da660803435b (diff) | |
| parent | 5c59d90137a3c91c81b9065f689b4bc701418391 (diff) | |
| download | otp-17c9c38aeac6495cb599f72cfa3872ebec01c4cd.tar.gz otp-17c9c38aeac6495cb599f72cfa3872ebec01c4cd.tar.bz2 otp-17c9c38aeac6495cb599f72cfa3872ebec01c4cd.zip | |
Merge branch 'ks/erl_types-fixes' into dev
* ks/erl_types-fixes:
erl_types: Fix pretty rare crashes and an infinite loop
OTP-8942
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/RELEASE_NOTES | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/dialyzer/RELEASE_NOTES b/lib/dialyzer/RELEASE_NOTES index a05b3ac52b..08f274a996 100644 --- a/lib/dialyzer/RELEASE_NOTES +++ b/lib/dialyzer/RELEASE_NOTES @@ -5,6 +5,13 @@ Version 2.x.x (in Erlang/OTP R14B01) ------------------------------------ + - Fixed pretty rare infinite loop when refining the types of an SCC whose + functions all returned none() (thanks to Stavros Aronis). + - Fixed pretty rare crash when taking the infimum of two tuple_sets. + - Fixed pretty rare crash when using parameterized types containing unbound + variables (thanks to Nicolas Trangez for reporting it). + - Deeper unfolding of recursive types (thanks to Maria Christakis). + - Fixed some incomplete and erroneous specs in modules of kernel and stdlib. - Fixed problems in the handling of remote types in records used as types (thanks to Nico Kruber for the report and to Maria Christakis for the fix). - Fixed handling of nested opaque types (thanks to Thorsten Schuett for |