diff options
| author | Erlang/OTP <[email protected]> | 2016-05-11 17:22:23 +0200 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2016-05-11 17:22:23 +0200 |
| commit | bd64ad8e15d66e48b36dbe3584315dd5cfc8b59a (patch) | |
| tree | acfd657ec7a84bc10503b9c0d00b6b4514ae2725 /lib/dialyzer/doc | |
| parent | 3aa1148cf76915e6ea27b9cc34e388ad85d7da4d (diff) | |
| download | otp-bd64ad8e15d66e48b36dbe3584315dd5cfc8b59a.tar.gz otp-bd64ad8e15d66e48b36dbe3584315dd5cfc8b59a.tar.bz2 otp-bd64ad8e15d66e48b36dbe3584315dd5cfc8b59a.zip | |
Prepare release
Diffstat (limited to 'lib/dialyzer/doc')
| -rw-r--r-- | lib/dialyzer/doc/src/notes.xml | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index d9af2cb4cd..9fff460b7a 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,63 @@ <p>This document describes the changes made to the Dialyzer application.</p> +<section><title>Dialyzer 3.0</title> + + <section><title>Fixed Bugs and Malfunctions</title> + <list> + <item> + <p> Fix a bug in the translation of forms to types. </p> + <p> + Own Id: OTP-13520</p> + </item> + <item> + <p>Correct mispelling in Dialyzer's acronym definition. + </p> + <p> + Own Id: OTP-13544 Aux Id: PR-1007 </p> + </item> + </list> + </section> + + + <section><title>Improvements and New Features</title> + <list> + <item> + <p> The evaluation of SCCs in <c>dialyzer_typesig</c> is + optimized. </p> <p> Maps are used instead of Dicts to + further optimize the evalutation. </p> + <p> + Own Id: OTP-10349</p> + </item> + <item> + <p> Since Erlang/OTP R14A, when support for parameterized + modules was added, <c>module()</c> has included + <c>tuple()</c>, but that part is removed; the type + <c>module()</c> is now the same as <c>atom()</c>, as + documented in the Reference Manual. </p> + <p> + Own Id: OTP-13244</p> + </item> + <item> + <p> The type specification syntax for Maps is improved: + </p> <list> <item> <p> The association type <c>KeyType := + ValueType</c> denotes an association that must be + present. </p> </item> <item> <p> The shorthand <c>...</c> + stands for the association type <c>any() => any()</c>. + </p> </item> </list> <p> An incompatible change is that + <c>#{}</c> stands for the empty map. The type + <c>map()</c> (a map of any size) can be written as + <c>#{...}</c>. </p> + <p> + *** POTENTIAL INCOMPATIBILITY ***</p> + <p> + Own Id: OTP-13542 Aux Id: PR-1014 </p> + </item> + </list> + </section> + +</section> + <section><title>Dialyzer 2.9</title> <section><title>Fixed Bugs and Malfunctions</title> |