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/plt/.gitignore | |
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/plt/.gitignore')
0 files changed, 0 insertions, 0 deletions