From c18b13d4c8aa31b145703bbbf228fb07d6b2a0a5 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Wed, 21 Jun 2017 10:53:19 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 69 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index f7613b3145..0d2cb6c4df 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,75 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 3.2 + +
Fixed Bugs and Malfunctions + + +

The check of bad type variables in type declarations + was mistakingly removed in Erlang/OTP 18, and is now + re-introduced.

+

+ Own Id: OTP-14423 Aux Id: OTP-14323

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

+ Analyzing modules with binary construction with huge + strings is now much faster. The compiler also compiles + such modules slightly faster.

+

+ Own Id: OTP-14125 Aux Id: ERL-308

+
+ +

The peak memory consumption is reduced.

+

+ Own Id: OTP-14127

+
+ +

Warnings about unknown types are now also generated + for types not used by any function specification.

+

+ Own Id: OTP-14218 Aux Id: OTP-14127

+
+ +

TypEr has been removed as separate application and is + now a part of the Dialyzer application. Documentation for + TypEr has been added in the Dialyzer application.

+

+ Own Id: OTP-14336

+
+ +

The format of debug information that is stored in BEAM + files (when debug_info is used) has been changed. + The purpose of the change is to better support other + BEAM-based languages such as Elixir or LFE.

+

All tools included in OTP (dialyzer, debugger, cover, + and so on) will handle both the new format and the + previous format. Tools that retrieve the debug + information using beam_lib:chunk(Beam, + [abstract_code]) will continue to work with both the + new and old format. Tools that call + beam_lib:chunk(Beam, ["Abst"]) will not work with + the new format.

+

For more information, see the description of + debug_info in the documentation for + beam_lib and the description of the + {debug_info,{Backend,Data}} option in the + documentation for compile.

+

+ Own Id: OTP-14369 Aux Id: PR-1367

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