From 08a112d189c8f47953eabcf2e05a0245dd6e6087 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= Date: Fri, 11 Jun 2010 10:20:20 +0000 Subject: Update release notes --- lib/dialyzer/doc/src/notes.xml | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) (limited to 'lib/dialyzer/doc') 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 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.3.0 + +
Improvements and New Features + + +

+ Various changes to dialyzer-related files for R14.

+

+ - 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.

+

+ - Support for detecting data races involving whereis/1 + and unregister/1.

+

+ - More precise identification of the reason(s) why a + record construction violates the types declared for its + fields.

+

+ - Fixed bug in the handling of the 'or' guard.

+

+ - Better handling of the erlang:element/2 BIF.

+

+ - Complete handling of Erlang BIFs.

+

+ Own Id: OTP-8699

+
+
+
+ +
+
Dialyzer 2.2.0
Improvements and New Features -- cgit v1.2.3