diff options
| author | Kostis Sagonas <[email protected]> | 2010-09-24 15:57:13 +0300 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2010-09-24 15:57:13 +0300 |
| commit | 3fbe522acb52ae4123e0068d352b8aa4ab767ece (patch) | |
| tree | a8d81757ddab39cb3a11d16b91c512bbd710951b /lib/dialyzer/RELEASE_NOTES | |
| parent | dd51118499209bbd91c0092d9778897026bde4c6 (diff) | |
| download | otp-3fbe522acb52ae4123e0068d352b8aa4ab767ece.tar.gz otp-3fbe522acb52ae4123e0068d352b8aa4ab767ece.tar.bz2 otp-3fbe522acb52ae4123e0068d352b8aa4ab767ece.zip | |
Fix two errors in dialyzer
Changes which fix some problems reported by dialyzer users:
1. The handling of nested opaque types
2. The handling of remote types in record expressions used as types
While at it, updated dialyzer's RELEASE_NOTES to reflect these fixes
and did some cleanups to dialyzer_utils.erl so that it gets in sync
with dialyzer's main development branch.
Diffstat (limited to 'lib/dialyzer/RELEASE_NOTES')
| -rw-r--r-- | lib/dialyzer/RELEASE_NOTES | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/lib/dialyzer/RELEASE_NOTES b/lib/dialyzer/RELEASE_NOTES index 62b0c92f97..a05b3ac52b 100644 --- a/lib/dialyzer/RELEASE_NOTES +++ b/lib/dialyzer/RELEASE_NOTES @@ -3,8 +3,19 @@ (in reversed chronological order) ============================================================================== -Version 2.3.0 (in Erlang/OTP R14) ---------------------------------- +Version 2.x.x (in Erlang/OTP R14B01) +------------------------------------ + - 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 + reporting it and to Maria Christakis for fixing it). + +Version 2.3.1 (in Erlang/OTP R14B) +---------------------------------- + - Eliminated warnings for auto-imported BIF clashes. + +Version 2.3.0 (in Erlang/OTP R14A) +---------------------------------- - Dialyzer properly supports the new attribute -export_type and checks that remote types only refer to exported types. A warning is produced if some files/applications refer to types defined in modules which are |