diff options
| author | Björn Gustavsson <[email protected]> | 2010-06-11 10:20:20 +0000 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2010-06-11 14:15:26 +0200 |
| commit | 08a112d189c8f47953eabcf2e05a0245dd6e6087 (patch) | |
| tree | 97f1b30e09f4e14447f8b2e5d48efe0e0651e08f /lib/dialyzer | |
| parent | 68cd5932ea4a1b8b371a74ab2c817c5bc9b35d1a (diff) | |
| download | otp-08a112d189c8f47953eabcf2e05a0245dd6e6087.tar.gz otp-08a112d189c8f47953eabcf2e05a0245dd6e6087.tar.bz2 otp-08a112d189c8f47953eabcf2e05a0245dd6e6087.zip | |
Update release notes
Diffstat (limited to 'lib/dialyzer')
| -rwxr-xr-x | lib/dialyzer/doc/src/notes.xml | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index b6106b928a..856af01525 100755 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,41 @@ <p>This document describes the changes made to the Dialyzer application.</p> +<section><title>Dialyzer 2.3.0</title> + + <section><title>Improvements and New Features</title> + <list> + <item> + <p> + Various changes to dialyzer-related files for R14.</p> + <p> + - 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 neither in the PLT nor in the analyzed + applications.</p> + <p> + - Support for detecting data races involving whereis/1 + and unregister/1.</p> + <p> + - More precise identification of the reason(s) why a + record construction violates the types declared for its + fields.</p> + <p> + - Fixed bug in the handling of the 'or' guard.</p> + <p> + - Better handling of the erlang:element/2 BIF.</p> + <p> + - Complete handling of Erlang BIFs.</p> + <p> + Own Id: OTP-8699</p> + </item> + </list> + </section> + +</section> + <section><title>Dialyzer 2.2.0</title> <section><title>Improvements and New Features</title> |