diff options
| author | Kostis Sagonas <[email protected]> | 2010-11-06 15:58:07 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-11-22 10:50:27 +0100 |
| commit | 5c59d90137a3c91c81b9065f689b4bc701418391 (patch) | |
| tree | bc20fc260826db14d6dddaa24a36a48482022502 /lib/dialyzer | |
| parent | 76378bb4a1a89d08b41d6f3df0edc6c26160bef7 (diff) | |
| download | otp-5c59d90137a3c91c81b9065f689b4bc701418391.tar.gz otp-5c59d90137a3c91c81b9065f689b4bc701418391.tar.bz2 otp-5c59d90137a3c91c81b9065f689b4bc701418391.zip | |
erl_types: Fix pretty rare crashes and an infinite loop
- Fixed pretty rare crash when taking the infimum of two tuple_sets
(initial fix by Kostis Sagonas but then a better fix was provided
by Stavros Aronis and this is the one adopted).
- Fixed pretty rare crash when using parameterized types containing unbound
variables (thanks to Nicolas Trangez for reporting it).
- Fixed pretty rare infinite loop when refining the types of an SCC whose
functions all returned none() (thanks to Stavros Aronis).
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 |