From 77da984614ae462912a1896ba1bb73c798ffd4f8 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Thu, 19 Jun 2014 13:47:21 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 38 ++++++++++++++++++++++++++++++++++++++ lib/dialyzer/vsn.mk | 2 +- 2 files changed, 39 insertions(+), 1 deletion(-) (limited to 'lib/dialyzer') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 99ec0caddc..bdd9c61c5c 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,44 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.7.1 + +
Fixed Bugs and Malfunctions + + +

Fix a bug concerning opaque types. Thanks to Shayan + Pooya for pointing out the bug.

+

+ Own Id: OTP-11869

+
+ +

A bug where Dialyzer failed to handle typed records + with fields containing remote types has been fixed. + Thanks to Erik Søe Sørensen for reporting the bug.

+

+ Own Id: OTP-11918

+
+ +

Make sure that only literal records are checked + against the types of record definitions. Until now the + elements of tuples have been checked against record field + types if the tag och size of the tuple matches the record + definition, often with surprising results.

+

+ Own Id: OTP-11935 Aux Id: seq12590

+
+ +

+ A Dialyzer crash involving analysis of Map types has now + been fixed.

+

+ Own Id: OTP-11947

+
+
+
+ +
+
Dialyzer 2.7
Fixed Bugs and Malfunctions diff --git a/lib/dialyzer/vsn.mk b/lib/dialyzer/vsn.mk index 95d2464e1d..b0cb3ec4f9 100644 --- a/lib/dialyzer/vsn.mk +++ b/lib/dialyzer/vsn.mk @@ -1 +1 @@ -DIALYZER_VSN = 2.7 +DIALYZER_VSN = 2.7.1 -- cgit v1.2.3