From d53be747c945d5e86997e1944446795b271dacb4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn-Egil=20Dahlberg?= Date: Fri, 11 Mar 2011 17:34:22 +0100 Subject: Update copyright years --- lib/dialyzer/doc/src/dialyzer.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dialyzer/doc') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 8813d51f1f..b6547b11e1 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -4,7 +4,7 @@
- 20062010 + 20062011 Ericsson AB. All Rights Reserved. -- cgit v1.2.3 From 91b2e57ea0e3ab794d4b57a12ef10205383525a5 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Mon, 14 Mar 2011 18:18:42 +0100 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 86 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 86 insertions(+) (limited to 'lib/dialyzer/doc') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 3678291be7..f132a50e0d 100755 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,92 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.4.2 + +
Fixed Bugs and Malfunctions + + +

+ Add a --fullpath option to Dialyzer

+

+ This change adds a --fullpath option to Dialyzer, which + makes the warning messages contain the full path of the + corresponding file.

+

+ Original patch submitted by Magnus Henoch (legoscia) on + 15/9/2010 and cooked to death in the 'pu' branch all this + time.

+

+ The patch was essentially correct and most of it has been + used as is, but there have been some changes to make the + code slightly prettier, avoid some code duplication, and + add documentation to dialyzer's doc files and to its help + message.

+

+ Own Id: OTP-9098

+
+ +

+ Fix warnings about guards containing not

+

+ The wording of warnings about unsatisfiable guards that + used 'not' was incorrect (the 'not' was not mentioned and + it appeared as "Guard test is_atom(atom()) can never + succeed") (thanks to Stavros Aronis).

+

+ Own Id: OTP-9099

+
+ +

+ Version 2.4.2 (in Erlang/OTP R14B02) + ------------------------------------ - Added --fullpath + option to display files with warnings with their full + file names (thanks to Magnus Henoch for the original + patch). - Better handling of 'and'/'or'/'not' guards that + generate warnings (thanks to Stavros Aronis). - Better + blame assignment for cases when a function's spec is + erroneous (thanks to Stavros Aronis). - More descriptive + warnings when a tuple/record pattern contains subterms + that violate the declared types of record fields (thanks + to Matthias Lang for the test case and for Stavros Aronis + for the actual fix).

+

+ Own Id: OTP-9126

+
+ +

+ Add spec to dialyzer_cl_parse:get_lib_dir/1

+

+ Own Id: OTP-9129

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

+ Test suites for Dialyzer

+

+ This is a transcription of most of the + cvs.srv.it.uu.se:/hipe repository dialyzer_tests into + test suites that use the test server framework.

+

+ See README for information on how to use the included + scripts for modifications and updates.

+

+ When testing Dialyzer it's important that several OTP + modules are included in the plt. The suites takes care of + that too.

+

+ Own Id: OTP-9116

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