From 6e51c6d19612d03abc81b86bb70b8d7da678ce5d Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Tue, 21 Jun 2016 15:12:41 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 82 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 82 insertions(+) (limited to 'lib/dialyzer/doc') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index d9af2cb4cd..a5a52fee61 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,88 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 3.0 + +
Fixed Bugs and Malfunctions + + +

Fix a bug in the translation of forms to types.

+

+ Own Id: OTP-13520

+
+ +

Correct misspelling in Dialyzer's acronym definition. +

+

+ Own Id: OTP-13544 Aux Id: PR-1007

+
+ +

Dialyzer no longer crashes when there is an invalid + function call such as 42(7) in a module being + analyzed. The compiler will now warn for invalid function + calls such as X = 42, x(7).

+

+ Own Id: OTP-13552 Aux Id: ERL-138

+
+ +

Fix a bug that caused Dialyzer to go into an infinite + loop.

+

+ Own Id: OTP-13653 Aux Id: ERL-157

+
+ +

Fix a bug in Dialyzer related to call-site + analysis.

+

+ Own Id: OTP-13655 Aux Id: PR-1092

+
+
+
+ + +
Improvements and New Features + + +

The evaluation of SCCs in dialyzer_typesig is + optimized.

Maps are used instead of Dicts to + further optimize the evaluation.

+

+ Own Id: OTP-10349

+
+ +

Since Erlang/OTP R14A, when support for parameterized + modules was added, module() has included + tuple(), but that part is removed; the type + module() is now the same as atom(), as + documented in the Reference Manual.

+

+ Own Id: OTP-13244

+
+ +

The type specification syntax for Maps is improved: +

The association type KeyType := + ValueType denotes an association that must be + present.

The shorthand ... + stands for the association type any() => any(). +

An incompatible change is that + #{} stands for the empty map. The type + map() (a map of any size) can be written as + #{...}.

+

+ *** POTENTIAL INCOMPATIBILITY ***

+

+ Own Id: OTP-13542 Aux Id: PR-1014

+
+ +

The translation of forms to types is improved.

+

+ Own Id: OTP-13547

+
+
+
+ +
+
Dialyzer 2.9
Fixed Bugs and Malfunctions -- cgit v1.2.3