From 0f8afe80c6582f7affd17f36dc9cb48cc7946713 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Mon, 14 Mar 2016 10:46:23 +0100 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 59 ++++++++++++++++++++++++++++++++++++++++++ lib/dialyzer/vsn.mk | 2 +- 2 files changed, 60 insertions(+), 1 deletion(-) (limited to 'lib/dialyzer') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 27364ae06a..4202730eed 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,65 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.9 + +
Fixed Bugs and Malfunctions + + +

Dialyzer no longer asserts that files and directories + to be removed from a PLT exist.

+

+ Own Id: OTP-13103 Aux Id: ERL-40

+
+ +

Fix a bug concerning parameterized opaque types.

+

+ Own Id: OTP-13237

+
+ +

+ Fix pretty printing of Core Maps

+

+ Literal maps could cause Dialyzer to crash when pretty + printing the results.

+

+ Own Id: OTP-13238

+
+ +

+ If a behavior module contains an non-exported function + with the same name as one of the behavior's callbacks, + the callback info was inadvertently deleted from the PLT + as the dialyzer_plt:delete_list/2 function was + cleaning up the callback table.

+

+ Own Id: OTP-13287

+
+ +

Correct the contract for erlang:byte_size/1 +

Correct the handling of comparison operators for + map and bit string operands.

+

+ Own Id: OTP-13312

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

+ Dialyzer recognizes calls to M:F/A where M, + F, and A are all literals.

+

+ Own Id: OTP-13217

+
+
+
+ +
+
Dialyzer 2.8.2
Fixed Bugs and Malfunctions diff --git a/lib/dialyzer/vsn.mk b/lib/dialyzer/vsn.mk index 9480f17f51..44982ab46d 100644 --- a/lib/dialyzer/vsn.mk +++ b/lib/dialyzer/vsn.mk @@ -1 +1 @@ -DIALYZER_VSN = 2.8.2 +DIALYZER_VSN = 2.9 -- cgit v1.2.3