aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/doc/src/notes.xml
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2010-06-11 10:20:20 +0000
committerErlang/OTP <[email protected]>2010-06-11 14:15:26 +0200
commit08a112d189c8f47953eabcf2e05a0245dd6e6087 (patch)
tree97f1b30e09f4e14447f8b2e5d48efe0e0651e08f /lib/dialyzer/doc/src/notes.xml
parent68cd5932ea4a1b8b371a74ab2c817c5bc9b35d1a (diff)
downloadotp-08a112d189c8f47953eabcf2e05a0245dd6e6087.tar.gz
otp-08a112d189c8f47953eabcf2e05a0245dd6e6087.tar.bz2
otp-08a112d189c8f47953eabcf2e05a0245dd6e6087.zip
Update release notes
Diffstat (limited to 'lib/dialyzer/doc/src/notes.xml')
-rwxr-xr-xlib/dialyzer/doc/src/notes.xml35
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>