From e5875001247e6a6ac4f474157a51a8c54f94ae49 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Thu, 14 Mar 2013 16:01:25 +0100 Subject: Convert XML files to UTF-8 --- lib/dialyzer/doc/src/book.xml | 4 ++-- lib/dialyzer/doc/src/dialyzer.xml | 2 +- lib/dialyzer/doc/src/dialyzer_chapter.xml | 2 +- lib/dialyzer/doc/src/fascicules.xml | 2 +- lib/dialyzer/doc/src/notes.xml | 2 +- lib/dialyzer/doc/src/part.xml | 4 ++-- lib/dialyzer/doc/src/part_notes.xml | 4 ++-- lib/dialyzer/doc/src/ref_man.xml | 4 ++-- 8 files changed, 12 insertions(+), 12 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/book.xml b/lib/dialyzer/doc/src/book.xml index ec06427671..61b873fb5b 100644 --- a/lib/dialyzer/doc/src/book.xml +++ b/lib/dialyzer/doc/src/book.xml @@ -1,10 +1,10 @@ - +
- 20062011 + 20062013 Ericsson AB. All Rights Reserved. diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 0ac96e8ac9..5bac999ac8 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -1,4 +1,4 @@ - + diff --git a/lib/dialyzer/doc/src/dialyzer_chapter.xml b/lib/dialyzer/doc/src/dialyzer_chapter.xml index be75f1cc65..2626e19050 100644 --- a/lib/dialyzer/doc/src/dialyzer_chapter.xml +++ b/lib/dialyzer/doc/src/dialyzer_chapter.xml @@ -1,4 +1,4 @@ - + diff --git a/lib/dialyzer/doc/src/fascicules.xml b/lib/dialyzer/doc/src/fascicules.xml index 0678195e07..37feca543f 100644 --- a/lib/dialyzer/doc/src/fascicules.xml +++ b/lib/dialyzer/doc/src/fascicules.xml @@ -1,4 +1,4 @@ - + diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index cd809662f2..4c701c5acf 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -1,4 +1,4 @@ - + diff --git a/lib/dialyzer/doc/src/part.xml b/lib/dialyzer/doc/src/part.xml index 564ef3a52f..83289206f9 100644 --- a/lib/dialyzer/doc/src/part.xml +++ b/lib/dialyzer/doc/src/part.xml @@ -1,10 +1,10 @@ - +
- 20062011 + 20062013 Ericsson AB. All Rights Reserved. diff --git a/lib/dialyzer/doc/src/part_notes.xml b/lib/dialyzer/doc/src/part_notes.xml index 992ee73daa..3798d25315 100644 --- a/lib/dialyzer/doc/src/part_notes.xml +++ b/lib/dialyzer/doc/src/part_notes.xml @@ -1,10 +1,10 @@ - +
- 20062011 + 20062013 Ericsson AB. All Rights Reserved. diff --git a/lib/dialyzer/doc/src/ref_man.xml b/lib/dialyzer/doc/src/ref_man.xml index 7e5367b7c5..23e7b6f57d 100644 --- a/lib/dialyzer/doc/src/ref_man.xml +++ b/lib/dialyzer/doc/src/ref_man.xml @@ -1,10 +1,10 @@ - +
- 20062011 + 20062013 Ericsson AB. All Rights Reserved. -- cgit v1.2.3 From 809a7fb3b26b0f32b10b11f176cd01b3b6a3d1fb Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Wed, 13 Nov 2013 16:09:45 +0100 Subject: Remove the --wx option and promore the --gui to use the wx-based GUI --- lib/dialyzer/doc/src/dialyzer.xml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 5bac999ac8..2a631c3010 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -67,7 +67,7 @@ dialyzer [--help] [--version] [--shell] [--quiet] [--verbose] [-pa dir]* [--plt plt] [--plts plt*] [-Ddefine]* [-I include_dir]* [--output_plt file] [-Wwarn]* - [--src] [--gui | --wx] [files_or_dirs] [-r dirs] + [--src] [--gui] [files_or_dirs] [-r dirs] [--apps applications] [-o outfile] [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] [--no_check_plt] [--plt_info] [--get_warnings] @@ -204,9 +204,7 @@ Display the full path names of files for which warnings are emitted. - Use the gs-based GUI. - - Use the wx-based GUI. + Use the GUI.

* denotes that multiple occurrences of these options are possible.

-- cgit v1.2.3 From cb39f7023dc1cf2719ae7b804314a46377141558 Mon Sep 17 00:00:00 2001 From: Steve Vinoski Date: Sun, 12 Jan 2014 10:09:26 -0500 Subject: fix -Wno_behaviours doc error in dialyzer man page The description of the -Wno_behaviours in the dialyzer man page incorrectly includes a "***" footnote marker, indicating that it's an option that turns on a warning rather than turning it off. Since the option actually turns off a warning, remove the marker. This fix makes the documentation match that obtained from dialyzer --help. --- lib/dialyzer/doc/src/dialyzer.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 0ac96e8ac9..ccd8dd8286 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -231,7 +231,7 @@ match. Suppress warnings for violations of opaqueness of data types. - *** + Suppress warnings about behaviour callbacks which drift from the published recommended interfaces. *** -- cgit v1.2.3 From f719d0fe308f00b85f92c29d7cdf9b0dc20d98a2 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Mon, 7 Apr 2014 19:52:48 +0200 Subject: Update release notes --- lib/dialyzer/doc/src/notes.xml | 167 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 167 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index b61b1af1b0..05baa93557 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,173 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.7 + +
Fixed Bugs and Malfunctions + + +

Dialyzer will no longer emit warnings when inspecting + or modifying opaque types within the scope of a module. +

Hitherto the shape of terms (tuple, list, etc.) + has been used to determine the opaque terms, but now the + contracts are used for decorating types with opaqueness. +

+

+ Own Id: OTP-10397

+ + +

+ With --Wunmatched_returns, dialyzer will no longer + warn when the value of a list comprehension is ignored, + provided that the each value in the list would be an + atomic value (such as integer or atoms, as opposed to + tuples and lists). Example: ignoring '[io:format(...) + || ...]' will not cause a warning, while ignoring + '[file:close(Fd) || ...]' will.

+

+ Own Id: OTP-11626

+ + +

+ The man page for dialyzer now contains correct + information regarding -Wno_behaviours. (Thanks to Steve + Vinosky.)

+

+ Own Id: OTP-11706

+ + +

Fix handling of 'on_load' attribute. (Thanks to + Kostis Sagonas.)

+

+ Own Id: OTP-11743

+ + +

+ Application upgrade (appup) files are corrected for the + following applications:

+

+ asn1, common_test, compiler, crypto, debugger, + dialyzer, edoc, eldap, erl_docgen, et, eunit, gs, hipe, + inets, observer, odbc, os_mon, otp_mibs, parsetools, + percept, public_key, reltool, runtime_tools, ssh, + syntax_tools, test_server, tools, typer, webtool, wx, + xmerl

+

+ A new test utility for testing appup files is added to + test_server. This is now used by most applications in + OTP.

+

+ (Thanks to Tobias Schlager)

+

+ Own Id: OTP-11744

+ + +

The generalization of guard constraints has been + modified.

+

+ Own Id: OTP-11798 Aux Id: seq12547

+ + +

Dialyzer now plays nicely with funs that come as + "external" arguments. (Thanks to Stavros Aronis for + fixing the bug.)

+

+ Own Id: OTP-11826

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

The pre-defined types array/0, dict/0, + digraph/0, gb_set/0, gb_tree/0, + queue/0, set/0, and tid/0 have been + deprecated. They will be removed in Erlang/OTP 18.0.

+

Instead the types array:array/0, + dict:dict/0, digraph:graph/0, + gb_set:set/0, gb_tree:tree/0, + queue:queue/0, sets:set/0, and + ets:tid/0 can be used. (Note: it has always been + necessary to use ets:tid/0.)

It is + allowed in Erlang/OTP 17.0 to locally re-define the types + array/0, dict/0, and so on.

New + types array:array/1, dict:dict/2, + gb_sets:set/1, gb_trees:tree/2, + queue:queue/1, and sets:set/1 have been + added.

A compiler option, + nowarn_deprecated_type, has been introduced. By + including the attribute

+ -compile(nowarn_deprecated_type).

in an Erlang + source file, warnings about deprecated types can be + avoided in Erlang/OTP 17.0.

The option can also + be given as a compiler flag:

erlc + +nowarn_deprecated_type file.erl +

+ Own Id: OTP-10342

+ + +

+ Removed gs based applications and gs based backends. The + observer application replaces the removed + applications.

+

+ *** POTENTIAL INCOMPATIBILITY ***

+

+ Own Id: OTP-10915

+ + +

+ Forbid unsized fields in patterns of binary generators + and simplified v3_core's translation of bit string + generators. (Thanks to Anthony Ramine.)

+

+ Own Id: OTP-11186

+ + +

+ EEP43: New data type - Maps

+

+ With Maps you may for instance: M0 = + #{ a => 1, b => 2}, % create + associations M1 = M0#{ a := 10 }, % + update values M2 = M1#{ "hi" => + "hello"}, % add new associations #{ + "hi" := V1, a := V2, b := V3} = M2. % match keys with + values

+

+ For information on how to use Maps please see the + Reference + Manual.

+

+ The current implementation is without the following + features: No variable keys + No single value access No map + comprehensions

+

+ Note that Maps is experimental during OTP 17.0.

+

+ Own Id: OTP-11616

+ + +

Parameterized opaque types have been introduced.

+

+ Own Id: OTP-11625

+ + +

+ Some function specs are corrected or moved and some edoc + comments are corrected in order to allow use of edoc. + (Thanks to Pierre Fenoll)

+

+ Own Id: OTP-11702

+ + +
+ +
+
Dialyzer 2.6.1
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 0b0412383192ff40e80aec0ade4a8b0fe7e23e9b Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Wed, 28 May 2014 13:21:07 +0200 Subject: [dialyzer] Correct docs about options --- lib/dialyzer/doc/src/dialyzer.xml | 109 ++++++++++++++++++++++---------------- 1 file changed, 63 insertions(+), 46 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index a92b890a80..3de60b2f7a 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -4,7 +4,7 @@
- 20062013 + 20062014 Ericsson AB. All Rights Reserved. @@ -50,33 +50,31 @@

Dialyzer also has a command line version for automated use. Below is a brief description of the list of its options. The same information can be obtained by writing

- + + dialyzer --help

in a shell. Please refer to the GUI description for more details on the operation of Dialyzer.

The exit status of the command line version is:

- 0 - No problems were encountered during the analysis and no warnings were emitted. 1 - Problems were encountered during the analysis. - 2 - No problems were encountered, but warnings were emitted. - ]]> + 2 - No problems were encountered, but warnings were emitted.

Usage:

- dialyzer [--help] [--version] [--shell] [--quiet] [--verbose] [-pa dir]* [--plt plt] [--plts plt*] [-Ddefine]* - [-I include_dir]* [--output_plt file] [-Wwarn]* + [-I include_dir]* [--output_plt file] [-Wwarn]* [--raw] [--src] [--gui] [files_or_dirs] [-r dirs] [--apps applications] [-o outfile] [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] [--no_check_plt] [--plt_info] [--get_warnings] - [--no_native] [--fullpath] - ]]> + [--dump_callgraph file] [--no_native] [--fullpath] + [--statistics]

Options:

(for backwards compatibility also - as: + as: ) Use Dialyzer from the command line to detect defects in the specified files or directories containing or files, depending on the type of the @@ -88,16 +86,14 @@ analysis. Option typically used when building or modifying a plt as in: - + + dialyzer --build_plt --apps erts kernel stdlib mnesia ... to conveniently refer to library applications corresponding to the Erlang/OTP installation. However, the option is general and can also be used during analysis in order to refer to Erlang/OTP applications. In addition, file or directory names can also be included, as in: - + + dialyzer --apps inets ssl ./ebin ../other_lib/ebin/my_module.beam (or ) When using Dialyzer from the command line, send the analysis @@ -129,24 +125,26 @@ that the plts are disjoint (i.e., do not have any module appearing in more than one plt). The plts are created in the usual way: - dialyzer --build_plt --output_plt plt_1 files_to_include ... - dialyzer --build_plt --output_plt plt_n files_to_include - ]]> + dialyzer --build_plt --output_plt plt_n files_to_include and then can be used in either of the following ways: - + + dialyzer files_to_analyze --plts plt_1 ... plt_n or: - + + dialyzer --plts plt_1 ... plt_n -- files_to_analyze (Note the -- delimiter in the second case) A family of options which selectively turn on/off warnings (for help on the names of warnings use - ). + ). + Note that the options can also be given in the file with a + -dialyzer({nowarn_tag, WarningTags}) attribute. + See Erlang Reference + Manual for details. Do not disable the Erlang shell while running the GUI. (or ) @@ -220,8 +218,6 @@ Suppress warnings for unused functions. Suppress warnings for construction of improper lists. - - Suppress warnings for using tuples instead of funs. Suppress warnings for fun applications that will fail. @@ -229,9 +225,16 @@ match. Suppress warnings for violations of opaqueness of data types. + + Suppress warnings for failing calls. + + Suppress warnings about invalid contracts. Suppress warnings about behaviour callbacks which drift from the published recommended interfaces. + + Suppress warnings about behaviours that have no + -callback attributes for their callbacks. *** Include warnings for function calls which ignore a structured return value or do not match against one of many possible return @@ -278,13 +281,13 @@

Dialyzer GUI version.

- OptList :: [Option] Option :: {files, [Filename :: string()]} | {files_rec, [DirName :: string()]} | {defines, [{Macro: atom(), Value : term()}]} - | {from, src_code | byte_code} %% Defaults to byte_code - | {init_plt, FileName :: string()} %% If changed from default + | {from, src_code | byte_code} %% Defaults to byte_code + | {init_plt, FileName :: string()} %% If changed from default | {plts, [FileName :: string()]} %% If changed from default | {include_dirs, [DirName :: string()]} | {output_file, FileName :: string()} @@ -304,14 +307,15 @@ WarnOpts :: no_return | no_match | no_opaque | no_fail_call + | no_contracts + | no_behaviours + | no_undefined_callbacks + | unmatched_returns | error_handling | race_conditions - | behaviours - | unmatched_returns | overspecs | underspecs - | specdiffs - ]]> + | specdiffs @@ -323,17 +327,30 @@ WarnOpts :: no_return

Dialyzer command line version.

- Warnings :: [{Tag, Id, Msg}] -Tag :: 'warn_return_no_exit' | 'warn_return_only_exit' - | 'warn_not_called' | 'warn_non_proper_list' - | 'warn_fun_app' | 'warn_matching' - | 'warn_failing_call' | 'warn_contract_types' - | 'warn_contract_syntax' | 'warn_contract_not_equal' - | 'warn_contract_subtype' | 'warn_contract_supertype' +Tag :: 'warn_behaviour' + | 'warn_bin_construction' + | 'warn_callgraph' + | 'warn_contract_not_equal' + | 'warn_contract_range' + | 'warn_contract_subtype' + | 'warn_contract_supertype' + | 'warn_contract_syntax' + | 'warn_contract_types' + | 'warn_failing_call' + | 'warn_fun_app' + | 'warn_matching' + | 'warn_non_proper_list' + | 'warn_not_called' + | 'warn_opaque' + | 'warn_race_condition' + | 'warn_return_no_exit' + | 'warn_return_only_exit' + | 'warn_umatched_return' + | 'warn_undefined_callbacks' Id = {File :: string(), Line :: integer()} -Msg = msg() -- Undefined -]]> +Msg = msg() -- Undefined -- cgit v1.2.3 From 4b27326bcfa9733c5f0870a4c8476892bf8fac66 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 17 Jun 2014 12:31:35 +0200 Subject: [dialyzer] Correct a doc bug introduced in 0b041238 --- lib/dialyzer/doc/src/dialyzer.xml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 3de60b2f7a..4e26a9e95e 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -139,12 +139,7 @@ A family of options which selectively turn on/off warnings (for help on the names of warnings use - ). - Note that the options can also be given in the file with a - -dialyzer({nowarn_tag, WarningTags}) attribute. - See Erlang Reference - Manual for details. + ). Do not disable the Erlang shell while running the GUI. (or ) -- cgit v1.2.3 From f47320f43c3fb39f78054834e60ae9424ac79f35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn-Egil=20Dahlberg?= Date: Tue, 17 Jun 2014 16:26:50 +0200 Subject: doc: Fix broken links --- lib/dialyzer/doc/src/notes.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 05baa93557..99ec0caddc 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -167,9 +167,9 @@ "hi" := V1, a := V2, b := V3} = M2. % match keys with values

- For information on how to use Maps please see the - Reference - Manual.

+ For information on how to use Maps please see Map Expressions in the + + Reference Manual.

The current implementation is without the following features: No variable keys -- cgit v1.2.3 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 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) (limited to 'lib/dialyzer/doc/src') 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 -- cgit v1.2.3 From 950d808c97a4c5b579f4f1cc16b95f2d419d3505 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Mon, 15 Sep 2014 12:02:14 +0200 Subject: Update release notes --- lib/dialyzer/doc/src/notes.xml | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index bdd9c61c5c..d35639aa32 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,36 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.7.2 + +
Fixed Bugs and Malfunctions + + +

A bug concerning is_record/2,3 has been fixed, + as well as some cases where Dialyzer could crash due to + reaching system limits.

+

+ Own Id: OTP-12018

+ + +

When given the -Wunderspecs flag Dialyzer + sometimes output bogus warnings for parametrized types. + This bug has been fixed.

+

+ Own Id: OTP-12111

+ + +

Dialyzer now fetch the compile options from beam + files, and use them when creating core from the abstract + code. Previously the options were ignored.

+

+ Own Id: OTP-12150

+ + +
+ +
+
Dialyzer 2.7.1
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 47cd56007a9fb37576b32523408c5584f80429aa Mon Sep 17 00:00:00 2001 From: Magnus Henoch Date: Wed, 23 Jul 2014 10:55:33 +0100 Subject: Add note about known issue with -Wrace_conditions As noted on the erlang-bugs mailing list: http://erlang.org/pipermail/erlang-bugs/2014-July/004518.html --- lib/dialyzer/doc/src/dialyzer.xml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 4e26a9e95e..e482b1e6f8 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -238,7 +238,10 @@ Include warnings for functions that only return by means of an exception. *** - Include warnings for possible race conditions. + Include warnings for possible race conditions. Note that the + analysis that finds data races performs intra-procedural data flow analysis + and can sometimes explode in time. Enable it at your own risk. + *** Warn about underspecified functions (the -spec is strictly more allowing than the success typing). -- cgit v1.2.3 From 7f3486a5ddc02a366f2945dfd009c4a2697a2b98 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Tue, 9 Dec 2014 15:21:47 +0100 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index d35639aa32..4020165697 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.3 + +
Fixed Bugs and Malfunctions + + +

When compiling Erlang source, Dialyzer now ignores + the environment variable ERL_COMPILER_OPTIONS as well as + skips the Erlang Compiler option + warnings_as_errors.

+

+ Own Id: OTP-12225

+ + +

Dialyzer did not check the type of record elements + when updating them. The bug, introduced in Erlang/OTP + 17.1, has been corrected. (Thanks to Nicolas Dudebout for + pointing it out.)

+

+ Own Id: OTP-12319

+ + +

+ Coalesce map keys in dialyzer mode

+

+ This fixes a regression introduced in commit + 805f9c89fc01220bc1bb0f27e1b68fd4eca688ba The problem + occurred with compounded map keys compiled with dialyzer + option turned on, '+dialyzer'.

+

+ Reported by: Ivan Uemlianin

+

+ Own Id: OTP-12347

+ + +
+ +
+
Dialyzer 2.7.2
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 25ab719cfaf42d196287fec2171bf3eefb845b62 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Wed, 30 Apr 2014 09:11:34 +0200 Subject: dialyzer: Introduce module local suppression of warnings The -dialyzer() attribute can be used for suppressing warnings in a module by specifying functions or warning options. It can also be used for requesting warnings in a module. --- lib/dialyzer/doc/src/dialyzer.xml | 73 +++++++++++++++++++++++++++++++++++++-- 1 file changed, 71 insertions(+), 2 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index e482b1e6f8..b52c1edebf 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -139,7 +139,11 @@ A family of options which selectively turn on/off warnings (for help on the names of warnings use - ). + ). + Note that the options can also be given in the file with a + -dialyzer() attribute. See Requesting or Suppressing Warnings in + Source Files below for details. Do not disable the Erlang shell while running the GUI. (or ) @@ -269,6 +273,71 @@ given from the command line, so please refer to the sections above for a description of these.

+ +
+ + Requesting or Suppressing Warnings in Source Files +

+ The -dialyzer() attribute can be used for turning off + warnings in a module by specifying functions or warning options. + For example, to turn off all warnings for the function + f/0, include the following line: +

+ +-dialyzer({nowarn_function, f/0}). + +

To turn off warnings for improper lists, add the following line + to the source file: +

+ +-dialyzer(no_improper_lists). + +

The -dialyzer() attribute is allowed after function + declarations. Lists of warning options or functions are allowed: +

+ +-dialyzer([{nowarn_function, [f/0]}, no_improper_lists]). + +

+ Warning options can be restricted to functions: +

+ +-dialyzer({no_improper_lists, g/0}). + + +-dialyzer({[no_return, no_match], [g/0, h/0]}). + +

+ For help on the warning options use dialyzer -Whelp. The + options are also enumerated below (WarnOpts). +

+ +

+ The -dialyzer() attribute is not checked by the Erlang + Compiler, but by the Dialyzer itself. +

+ + +

+ The warning option -Wrace_conditions has no effect when + set in source files. +

+ +

+ The -dialyzer() attribute can also be used for turning on + warnings. For instance, if a module has been fixed regarding + unmatched returns, adding the line +

+ +-dialyzer(unmatched_returns). + +

+ can help in assuring that no new unmatched return warnings are + introduced. +

+
+ gui() -> ok | {error, Msg} @@ -283,7 +352,7 @@ OptList :: [Option] Option :: {files, [Filename :: string()]} | {files_rec, [DirName :: string()]} - | {defines, [{Macro: atom(), Value : term()}]} + | {defines, [{Macro :: atom(), Value :: term()}]} | {from, src_code | byte_code} %% Defaults to byte_code | {init_plt, FileName :: string()} %% If changed from default | {plts, [FileName :: string()]} %% If changed from default -- cgit v1.2.3 From 62870c998955e1498e71bfc90607885e96ecaa27 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Tue, 31 Mar 2015 12:24:04 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 4020165697..8976679c1d 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,6 +31,21 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.7.4 + +
Fixed Bugs and Malfunctions + + +

A bug concerning map() types has been fixed. +

+

+ Own Id: OTP-12472

+ + +
+ +
+
Dialyzer 2.7.3
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 4729cebdf61022cadb0a5a04ae30bace77a7b5db Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Wed, 8 Apr 2015 15:13:00 +0200 Subject: dialyzer: Add new option 'no_missing_calls' --- lib/dialyzer/doc/src/dialyzer.xml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index b52c1edebf..e5f04a00b3 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -231,6 +231,8 @@ Suppress warnings about behaviour callbacks which drift from the published recommended interfaces. + + Suppress warnings about calls to missing functions. Suppress warnings about behaviours that have no -callback attributes for their callbacks. -- cgit v1.2.3 From 51982dfa96c98b91531d0a13e1350f2fef06b845 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Mon, 13 Apr 2015 11:00:45 +0200 Subject: dialyzer: Add new option 'unknown' Replace the undocumented option 'no_unknown' with the documented option 'unknown'. --- lib/dialyzer/doc/src/dialyzer.xml | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index e5f04a00b3..2a8bf6edcc 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -4,7 +4,7 @@
- 20062014 + 20062015 Ericsson AB. All Rights Reserved. @@ -248,9 +248,16 @@ analysis that finds data races performs intra-procedural data flow analysis and can sometimes explode in time. Enable it at your own risk. - *** +i *** Warn about underspecified functions (the -spec is strictly more allowing than the success typing). + *** + Let warnings about unknown functions and types affect the + exit status of the command line version. The default is to ignore + warnings about unknown functions and types when setting the exit + status. When using the Dialyzer from Erlang, warnings about unknown + functions and types are returned; the default is not to return + these warnings.

The following options are also available but their use is not recommended: (they are mostly for Dialyzer developers and internal @@ -384,7 +391,8 @@ WarnOpts :: no_return | race_conditions | overspecs | underspecs - | specdiffs + | specdiffs + | unknown @@ -418,6 +426,7 @@ Tag :: 'warn_behaviour' | 'warn_return_only_exit' | 'warn_umatched_return' | 'warn_undefined_callbacks' + | 'warn_unknown' Id = {File :: string(), Line :: integer()} Msg = msg() -- Undefined -- cgit v1.2.3 From e09dd66dc4d89c62ddfd8c19791f9678d5d787c6 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Tue, 12 May 2015 18:18:55 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 86 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 86 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 8976679c1d..d30882b5b9 100644 --- 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.8 + +
Fixed Bugs and Malfunctions + + +

The translation of Erlang forms to the type + representation used by Dialyzer has been improved in + several ways. The most important change is that deeply + nested records can be handled.

+

+ Own Id: OTP-12350

+ + +

Update the PLT properly when a module is changed. + (Thanks to James Fish for the bug report, and to Stavros + Aronis for fixing the bug.)

+

+ Own Id: OTP-12637

+ + +

+ An argument of '*'/2 is not constraind if the other + operand can be zero.

+

+ Own Id: OTP-12725

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

The -dialyzer() attribute can be used for + suppressing warnings in a module by specifying functions + or warning options. It can also be used for requesting + warnings in a module.

+

+ Own Id: OTP-10280

+ + +

The pre-defined types array(), dict(), + digraph(), gb_set(), gb_tree(), + queue(), set(), and tid() have been + removed.

+

+ Own Id: OTP-11445 Aux Id: OTP-10342, OTP-9352

+ + +

A few type names that have been used for representing + certain predefined types can now be used for user-defined + types. This affects the types product/_, + union/_, and range/2 as well as + tuple/N (N > 0), map/N (N > 0), + atom/1, integer/1, binary/2, + record/_, and 'fun'/_. A consequence is + that, for example, it is no longer possible to refer to a + record type with record(r); instead the usual + record notation, #r{}, is to be used.

+

+ *** POTENTIAL INCOMPATIBILITY ***

+

+ Own Id: OTP-11851

+ + +

When implementing user-defined behaviours it is now + possible to specify optional callback functions. See OTP + Design Principles User's Guide, Sys and Proc_Lib, + User-Defined Behaviours, for details.

+

+ Own Id: OTP-11861

+ + +

Add two options to the Dialyzer: + no_missing_calls suppresses warnings about calls + to missing or unexported functions; unknown lets + warnings about unknown functions or types affect the exit + status. See also dialyzer(3).

+

+ Own Id: OTP-12682

+ + +
+ +
+
Dialyzer 2.7.4
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 9a81b28598fadc44bf506354c9227e41aac786f6 Mon Sep 17 00:00:00 2001 From: Henrik Nord Date: Wed, 13 May 2015 09:40:16 +0200 Subject: Revert "Prepare release" This reverts commit e09dd66dc4d89c62ddfd8c19791f9678d5d787c6. --- lib/dialyzer/doc/src/notes.xml | 86 ------------------------------------------ 1 file changed, 86 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index d30882b5b9..8976679c1d 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -31,92 +31,6 @@

This document describes the changes made to the Dialyzer application.

-
Dialyzer 2.8 - -
Fixed Bugs and Malfunctions - - -

The translation of Erlang forms to the type - representation used by Dialyzer has been improved in - several ways. The most important change is that deeply - nested records can be handled.

-

- Own Id: OTP-12350

- - -

Update the PLT properly when a module is changed. - (Thanks to James Fish for the bug report, and to Stavros - Aronis for fixing the bug.)

-

- Own Id: OTP-12637

- - -

- An argument of '*'/2 is not constraind if the other - operand can be zero.

-

- Own Id: OTP-12725

- - -
- - -
Improvements and New Features - - -

The -dialyzer() attribute can be used for - suppressing warnings in a module by specifying functions - or warning options. It can also be used for requesting - warnings in a module.

-

- Own Id: OTP-10280

- - -

The pre-defined types array(), dict(), - digraph(), gb_set(), gb_tree(), - queue(), set(), and tid() have been - removed.

-

- Own Id: OTP-11445 Aux Id: OTP-10342, OTP-9352

- - -

A few type names that have been used for representing - certain predefined types can now be used for user-defined - types. This affects the types product/_, - union/_, and range/2 as well as - tuple/N (N > 0), map/N (N > 0), - atom/1, integer/1, binary/2, - record/_, and 'fun'/_. A consequence is - that, for example, it is no longer possible to refer to a - record type with record(r); instead the usual - record notation, #r{}, is to be used.

-

- *** POTENTIAL INCOMPATIBILITY ***

-

- Own Id: OTP-11851

- - -

When implementing user-defined behaviours it is now - possible to specify optional callback functions. See OTP - Design Principles User's Guide, Sys and Proc_Lib, - User-Defined Behaviours, for details.

-

- Own Id: OTP-11861

- - -

Add two options to the Dialyzer: - no_missing_calls suppresses warnings about calls - to missing or unexported functions; unknown lets - warnings about unknown functions or types affect the exit - status. See also dialyzer(3).

-

- Own Id: OTP-12682

- - -
- -
-
Dialyzer 2.7.4
Fixed Bugs and Malfunctions -- cgit v1.2.3 From d1851f267d96e41a0dc8f2d123ec5e5fef514518 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 19 May 2015 12:58:23 +0200 Subject: dialyzer: Document dialyzer:gui() option 'check_plt' * Mention the option 'check_plt' among gui() options. * No longer check a PLT twice when the analysis type is 'plt_check'. * No longer raise a case_clause error when checking a PLT finds warnings. Thanks to James Fish. --- lib/dialyzer/doc/src/dialyzer.xml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 2a8bf6edcc..5f52906625 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -368,6 +368,7 @@ Option :: {files, [Filename :: string()]} | {include_dirs, [DirName :: string()]} | {output_file, FileName :: string()} | {output_plt, FileName :: string()} + | {check_plt, boolean()}, | {analysis_type, 'succ_typings' | 'plt_add' | 'plt_build' | -- cgit v1.2.3 From 0f5916b35938c983cd5a4a9931730a5e554358f3 Mon Sep 17 00:00:00 2001 From: Magnus Henoch Date: Fri, 12 Dec 2014 18:51:26 +0000 Subject: Dialyzer to cache results of HiPE compilation Cache the results of native compilation in $XDG_CACHE_HOME/dialyzer_hipe_cache. This can reduce the startup time significantly. If XDG_CACHE_HOME is unset, it defaults to $HOME/.cache. See the XDG Base Directory spec for more details: http://standards.freedesktop.org/basedir-spec/basedir-spec-0.7.html Under that directory, create a subdirectory called ARCH-VERSION-CHECKSUM, where ARCH is the HiPE architecture, VERSION is the HiPE version number, and CHECKSUM is the return value of hipe_bifs:system_crc/0. Caching can be disabled by specifying --no_native_cache on the command line. --- lib/dialyzer/doc/src/dialyzer.xml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 5f52906625..fc076c24a6 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -70,7 +70,7 @@ [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] [--no_check_plt] [--plt_info] [--get_warnings] [--dump_callgraph file] [--no_native] [--fullpath] - [--statistics] + [--statistics] [--no_native_cache]

Options:

(for backwards compatibility also @@ -198,6 +198,11 @@ heuristically performs when dialyzing many files; this avoids the compilation time but it may result in (much) longer analysis time. + + By default, Dialyzer caches the results of native compilation in the + $XDG_CACHE_HOME/erlang/dialyzer_hipe_cache directory. + XDG_CACHE_HOME defaults to $HOME/.cache. + Use this option to disable caching. Display the full path names of files for which warnings are emitted. -- cgit v1.2.3 From 738c34d4bb8f1a3811acd00af8c6c12107f8315b Mon Sep 17 00:00:00 2001 From: Bruce Yinhe Date: Thu, 18 Jun 2015 11:31:02 +0200 Subject: Change license text to APLv2 --- lib/dialyzer/doc/src/Makefile | 21 +++++++++++---------- lib/dialyzer/doc/src/book.xml | 21 +++++++++++---------- lib/dialyzer/doc/src/dialyzer.xml | 19 ++++++++++--------- lib/dialyzer/doc/src/dialyzer_chapter.xml | 21 +++++++++++---------- lib/dialyzer/doc/src/notes.xml | 21 +++++++++++---------- lib/dialyzer/doc/src/part.xml | 21 +++++++++++---------- lib/dialyzer/doc/src/part_notes.xml | 21 +++++++++++---------- lib/dialyzer/doc/src/ref_man.xml | 21 +++++++++++---------- 8 files changed, 87 insertions(+), 79 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/Makefile b/lib/dialyzer/doc/src/Makefile index a827281cc5..77d0a6fc68 100644 --- a/lib/dialyzer/doc/src/Makefile +++ b/lib/dialyzer/doc/src/Makefile @@ -1,13 +1,14 @@ -# ``The contents of this file are subject to the Erlang Public License, -# Version 1.1, (the "License"); you may not use this file except in -# compliance with the License. You should have received a copy of the -# Erlang Public License along with this software. If not, it can be -# retrieved via the world wide web at http://www.erlang.org/. -# -# Software distributed under the License is distributed on an "AS IS" -# basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See -# the License for the specific language governing rights and limitations -# under the License. +# ``Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. # # The Initial Developer of the Original Code is Ericsson Utvecklings AB. # Portions created by Ericsson are Copyright 1999, Ericsson Utvecklings diff --git a/lib/dialyzer/doc/src/book.xml b/lib/dialyzer/doc/src/book.xml index 61b873fb5b..4cc2a9db7c 100644 --- a/lib/dialyzer/doc/src/book.xml +++ b/lib/dialyzer/doc/src/book.xml @@ -8,16 +8,17 @@ Ericsson AB. All Rights Reserved. - The contents of this file are subject to the Erlang Public License, - Version 1.1, (the "License"); you may not use this file except in - compliance with the License. You should have received a copy of the - Erlang Public License along with this software. If not, it can be - retrieved online at http://www.erlang.org/. - - Software distributed under the License is distributed on an "AS IS" - basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See - the License for the specific language governing rights and limitations - under the License. + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index fc076c24a6..3fd34241b2 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -8,16 +8,17 @@ Ericsson AB. All Rights Reserved. - The contents of this file are subject to the Erlang Public License, - Version 1.1, (the "License"); you may not use this file except in - compliance with the License. You should have received a copy of the - Erlang Public License along with this software. If not, it can be - retrieved online at http://www.erlang.org/. + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 - Software distributed under the License is distributed on an "AS IS" - basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See - the License for the specific language governing rights and limitations - under the License. + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/lib/dialyzer/doc/src/dialyzer_chapter.xml b/lib/dialyzer/doc/src/dialyzer_chapter.xml index 2626e19050..9bfb7ea2e1 100644 --- a/lib/dialyzer/doc/src/dialyzer_chapter.xml +++ b/lib/dialyzer/doc/src/dialyzer_chapter.xml @@ -8,16 +8,17 @@ Ericsson AB. All Rights Reserved. - The contents of this file are subject to the Erlang Public License, - Version 1.1, (the "License"); you may not use this file except in - compliance with the License. You should have received a copy of the - Erlang Public License along with this software. If not, it can be - retrieved online at http://www.erlang.org/. - - Software distributed under the License is distributed on an "AS IS" - basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See - the License for the specific language governing rights and limitations - under the License. + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 8976679c1d..5fe3f1e12e 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -8,16 +8,17 @@ Ericsson AB. All Rights Reserved. - The contents of this file are subject to the Erlang Public License, - Version 1.1, (the "License"); you may not use this file except in - compliance with the License. You should have received a copy of the - Erlang Public License along with this software. If not, it can be - retrieved online at http://www.erlang.org/. - - Software distributed under the License is distributed on an "AS IS" - basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See - the License for the specific language governing rights and limitations - under the License. + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/lib/dialyzer/doc/src/part.xml b/lib/dialyzer/doc/src/part.xml index 83289206f9..eff8e05257 100644 --- a/lib/dialyzer/doc/src/part.xml +++ b/lib/dialyzer/doc/src/part.xml @@ -8,16 +8,17 @@ Ericsson AB. All Rights Reserved. - The contents of this file are subject to the Erlang Public License, - Version 1.1, (the "License"); you may not use this file except in - compliance with the License. You should have received a copy of the - Erlang Public License along with this software. If not, it can be - retrieved online at http://www.erlang.org/. - - Software distributed under the License is distributed on an "AS IS" - basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See - the License for the specific language governing rights and limitations - under the License. + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/lib/dialyzer/doc/src/part_notes.xml b/lib/dialyzer/doc/src/part_notes.xml index 3798d25315..ba8d30e1be 100644 --- a/lib/dialyzer/doc/src/part_notes.xml +++ b/lib/dialyzer/doc/src/part_notes.xml @@ -8,16 +8,17 @@ Ericsson AB. All Rights Reserved. - The contents of this file are subject to the Erlang Public License, - Version 1.1, (the "License"); you may not use this file except in - compliance with the License. You should have received a copy of the - Erlang Public License along with this software. If not, it can be - retrieved online at http://www.erlang.org/. - - Software distributed under the License is distributed on an "AS IS" - basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See - the License for the specific language governing rights and limitations - under the License. + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/lib/dialyzer/doc/src/ref_man.xml b/lib/dialyzer/doc/src/ref_man.xml index 23e7b6f57d..9c3887b599 100644 --- a/lib/dialyzer/doc/src/ref_man.xml +++ b/lib/dialyzer/doc/src/ref_man.xml @@ -8,16 +8,17 @@ Ericsson AB. All Rights Reserved. - The contents of this file are subject to the Erlang Public License, - Version 1.1, (the "License"); you may not use this file except in - compliance with the License. You should have received a copy of the - Erlang Public License along with this software. If not, it can be - retrieved online at http://www.erlang.org/. - - Software distributed under the License is distributed on an "AS IS" - basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See - the License for the specific language governing rights and limitations - under the License. + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. -- cgit v1.2.3 From 2955ddebc32837b66d9bacb4e925ad0ed0033168 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Tue, 23 Jun 2015 10:24:26 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 124 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 124 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 5fe3f1e12e..93d3b09f07 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,130 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.8 + +
Fixed Bugs and Malfunctions + + +

The translation of Erlang forms to the type + representation used by Dialyzer has been improved in + several ways. The most important change is that deeply + nested records can be handled.

+

+ Own Id: OTP-12350

+ + +

Fix a bug that could cause bogus warnings for opaque + types.

In Erlang/OTP 18 two parameterized types + declared in the same module always result in a + contradiction (none()) when combined outside of + the module where they are declared, unless they have the + same number of parameters.

The behaviour is + different from Erlang/OTP 17 where, for instance, + dict:dict() and dict:dict(_, _), which are + both opaque, can be combined outside of the dict + module.

In Erlang/OTP 18, dict:dict() and + dict:dict(_, _) can still be combined outside of + the dict module. That has been made possible by + not declaring dict:dict() as opaque.

+

+ Own Id: OTP-12493

+ + +

Update the PLT properly when a module is changed. + (Thanks to James Fish for the bug report, and to Stavros + Aronis for fixing the bug.)

+

+ Own Id: OTP-12637

+ + +

+ An argument of '*'/2 is not constraind if the other + operand can be zero.

+

+ Own Id: OTP-12725

+ + +

Mention the option check_plt among the + dialyzer:gui() options. (Thanks to James Fish.) +

+

+ Own Id: OTP-12750

+ + +

Fix a bug which could cause an infinite loop in + Dialyzer.

+

+ Own Id: OTP-12826

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

The -dialyzer() attribute can be used for + suppressing warnings in a module by specifying functions + or warning options. It can also be used for requesting + warnings in a module.

+

+ Own Id: OTP-10280

+ + +

The pre-defined types array(), dict(), + digraph(), gb_set(), gb_tree(), + queue(), set(), and tid() have been + removed.

+

+ Own Id: OTP-11445 Aux Id: OTP-10342, OTP-9352

+ + +

A few type names that have been used for representing + certain predefined types can now be used for user-defined + types. This affects the types product/_, + union/_, and range/2 as well as + tuple/N (N > 0), map/N (N > 0), + atom/1, integer/1, binary/2, + record/_, and 'fun'/_. A consequence is + that, for example, it is no longer possible to refer to a + record type with record(r); instead the usual + record notation, #r{}, is to be used.

+

+ *** POTENTIAL INCOMPATIBILITY ***

+

+ Own Id: OTP-11851

+ + +

When implementing user-defined behaviours it is now + possible to specify optional callback functions. See OTP + Design Principles User's Guide, Sys and Proc_Lib, + User-Defined Behaviours, for details.

+

+ Own Id: OTP-11861

+ + +

Add two options to the Dialyzer: + no_missing_calls suppresses warnings about calls + to missing or unexported functions; unknown lets + warnings about unknown functions or types affect the exit + status. See also dialyzer(3).

+

+ Own Id: OTP-12682

+ + +

By default, dialyzer will now cache native versions of + dialyzer modules to avoid having to re-compile them each + time dialyzer is started. Caching can be disabled using + the option --no_native_cache.

+

+ Own Id: OTP-12779

+ + +
+ +
+
Dialyzer 2.7.4
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 6738d356a279835222b951fd213ed4cf9897eb7e Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Mon, 21 Sep 2015 17:09:23 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 93d3b09f07..9b3a7244f1 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,48 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.8.1 + +
Fixed Bugs and Malfunctions + + +

Improve the translation of forms to types.

+

+ Own Id: OTP-12865

+ + +

Fix a bug concerning parameterized opaque types.

+

+ Own Id: OTP-12866

+ + +

Fix a bug concerning parameterized opaque types.

+

+ Own Id: OTP-12940

+ + +

Fix bugs concerning erlang:abs/1.

+

+ Own Id: OTP-12948

+ + +

Fix a bug concerning lists:keydelete/3 with + union and opaque types.

+

+ Own Id: OTP-12949

+ + +

+ Use new function hipe:erts_checksum to get correct + runtime checksum for cached beam files.

+

+ Own Id: OTP-12964 Aux Id: OTP-12963, OTP-12962

+ + +
+ +
+
Dialyzer 2.8
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 3d86418b496db400d795311ece53f9e632731a94 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 13 Oct 2015 14:03:23 +0200 Subject: [dialyzer] Correct documentation Fix mistakes found by 'xmllint'. --- lib/dialyzer/doc/src/notes.xml | 32 ++++++++++++++++++-------------- 1 file changed, 18 insertions(+), 14 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 9b3a7244f1..aa29684697 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -447,22 +447,28 @@

EEP43: New data type - Maps

- With Maps you may for instance: M0 = - #{ a => 1, b => 2}, % create - associations M1 = M0#{ a := 10 }, % - update values M2 = M1#{ "hi" => - "hello"}, % add new associations #{ - "hi" := V1, a := V2, b := V3} = M2. % match keys with - values

+ With Maps you may for instance:

+ + M0 = #{ a => 1, b => 2}, % create + associations + M1 = M0#{ a := 10 }, % update values + M2 = M1#{ "hi" => + "hello"}, % add new associations + #{ "hi" := V1, a := V2, b := V3} = M2. + % match keys with values +

For information on how to use Maps please see Map Expressions in the Reference Manual.

The current implementation is without the following - features: No variable keys - No single value access No map - comprehensions

+ features:

+ + No variable keys + No single value access + No map comprehensions +

Note that Maps is experimental during OTP 17.0.

@@ -776,19 +782,17 @@ Own Id: OTP-9731

-

No warnings for underspecs with remote types

Fix crash in Typer

Fix Dialyzer's warning for its own code

Fix Dialyzer's warnings in HiPE

Add file/line info in a particular Dialyzer crash

Update - inets test results

+ inets test results

Own Id: OTP-9758

-

Correct callback spec in application module

Refine warning about callback specs with extra ranges

Cleanup @@ -799,7 +803,7 @@ analysis

Fix crash in Dialyzer

Variable substitution was not generalizing any unknown variables.

 -

+

Own Id: OTP-9776

-- cgit v1.2.3 From f4a0ae1736216feac5ae053610644bba2e12ed34 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Tue, 15 Dec 2015 09:45:27 +0100 Subject: Update release notes --- lib/dialyzer/doc/src/notes.xml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index aa29684697..27364ae06a 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,22 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 2.8.2 + +
Fixed Bugs and Malfunctions + + +

+ Reintroduce the erlang:make_fun/3 BIF in + erl_bif_types.

+

+ Own Id: OTP-13068

+ + +
+ +
+
Dialyzer 2.8.1
Fixed Bugs and Malfunctions -- cgit v1.2.3 From ccb54d17f2154ec7043ae4d725f5f6c38c158270 Mon Sep 17 00:00:00 2001 From: Luca Favatella Date: Thu, 10 Sep 2015 10:47:26 +0100 Subject: Delete a couple of leftover chars in Dialyzer doc --- lib/dialyzer/doc/src/dialyzer.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 3fd34241b2..619db125b1 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -254,7 +254,7 @@ analysis that finds data races performs intra-procedural data flow analysis and can sometimes explode in time. Enable it at your own risk. -i *** + *** Warn about underspecified functions (the -spec is strictly more allowing than the success typing). *** -- cgit v1.2.3 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 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 59 insertions(+) (limited to 'lib/dialyzer/doc/src') 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 -- cgit v1.2.3 From 6664eed554974336909d3ffe03f20349cc4c38fd Mon Sep 17 00:00:00 2001 From: Henrik Nord Date: Tue, 15 Mar 2016 15:19:56 +0100 Subject: update copyright-year --- lib/dialyzer/doc/src/book.xml | 2 +- lib/dialyzer/doc/src/dialyzer_chapter.xml | 2 +- lib/dialyzer/doc/src/notes.xml | 2 +- lib/dialyzer/doc/src/part.xml | 2 +- lib/dialyzer/doc/src/part_notes.xml | 2 +- lib/dialyzer/doc/src/ref_man.xml | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/book.xml b/lib/dialyzer/doc/src/book.xml index 4cc2a9db7c..aecc0e5bfa 100644 --- a/lib/dialyzer/doc/src/book.xml +++ b/lib/dialyzer/doc/src/book.xml @@ -4,7 +4,7 @@
- 20062013 + 20062016 Ericsson AB. All Rights Reserved. diff --git a/lib/dialyzer/doc/src/dialyzer_chapter.xml b/lib/dialyzer/doc/src/dialyzer_chapter.xml index 9bfb7ea2e1..c445f2633f 100644 --- a/lib/dialyzer/doc/src/dialyzer_chapter.xml +++ b/lib/dialyzer/doc/src/dialyzer_chapter.xml @@ -4,7 +4,7 @@
- 20062013 + 20062016 Ericsson AB. All Rights Reserved. diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 4202730eed..d9af2cb4cd 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -4,7 +4,7 @@
- 20062013 + 20062016 Ericsson AB. All Rights Reserved. diff --git a/lib/dialyzer/doc/src/part.xml b/lib/dialyzer/doc/src/part.xml index eff8e05257..575f77549a 100644 --- a/lib/dialyzer/doc/src/part.xml +++ b/lib/dialyzer/doc/src/part.xml @@ -4,7 +4,7 @@
- 20062013 + 20062016 Ericsson AB. All Rights Reserved. diff --git a/lib/dialyzer/doc/src/part_notes.xml b/lib/dialyzer/doc/src/part_notes.xml index ba8d30e1be..4a0a0af2d1 100644 --- a/lib/dialyzer/doc/src/part_notes.xml +++ b/lib/dialyzer/doc/src/part_notes.xml @@ -4,7 +4,7 @@
- 20062013 + 20062016 Ericsson AB. All Rights Reserved. diff --git a/lib/dialyzer/doc/src/ref_man.xml b/lib/dialyzer/doc/src/ref_man.xml index 9c3887b599..01478cfb40 100644 --- a/lib/dialyzer/doc/src/ref_man.xml +++ b/lib/dialyzer/doc/src/ref_man.xml @@ -4,7 +4,7 @@
- 20062013 + 20062016 Ericsson AB. All Rights Reserved. -- cgit v1.2.3 From bd64ad8e15d66e48b36dbe3584315dd5cfc8b59a Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Wed, 11 May 2016 17:22:23 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 57 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 57 insertions(+) (limited to 'lib/dialyzer/doc/src') 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 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 3.0 + +
Fixed Bugs and Malfunctions + + +

Fix a bug in the translation of forms to types.

+

+ Own Id: OTP-13520

+ + +

Correct mispelling in Dialyzer's acronym definition. +

+

+ Own Id: OTP-13544 Aux Id: PR-1007

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

The evaluation of SCCs in dialyzer_typesig is + optimized.

Maps are used instead of Dicts to + further optimize the evalutation.

+

+ Own Id: OTP-10349

+ + +

Since Erlang/OTP R14A, when support for parameterized + modules was added, module() has included + tuple(), but that part is removed; the type + module() is now the same as atom(), as + documented in the Reference Manual.

+

+ Own Id: OTP-13244

+ + +

The type specification syntax for Maps is improved: +

The association type KeyType := + ValueType denotes an association that must be + present.

The shorthand ... + stands for the association type any() => any(). +

An incompatible change is that + #{} stands for the empty map. The type + map() (a map of any size) can be written as + #{...}.

+

+ *** POTENTIAL INCOMPATIBILITY ***

+

+ Own Id: OTP-13542 Aux Id: PR-1014

+ + +
+ +
+
Dialyzer 2.9
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 663e847459686604ea051f036a0e4caff18cea6f Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Thu, 12 May 2016 12:04:14 +0200 Subject: Revert "Prepare release" This reverts commit bd64ad8e15d66e48b36dbe3584315dd5cfc8b59a. --- lib/dialyzer/doc/src/notes.xml | 57 ------------------------------------------ 1 file changed, 57 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 9fff460b7a..d9af2cb4cd 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,63 +32,6 @@

This document describes the changes made to the Dialyzer application.

-
Dialyzer 3.0 - -
Fixed Bugs and Malfunctions - - -

Fix a bug in the translation of forms to types.

-

- Own Id: OTP-13520

- - -

Correct mispelling in Dialyzer's acronym definition. -

-

- Own Id: OTP-13544 Aux Id: PR-1007

- - -
- - -
Improvements and New Features - - -

The evaluation of SCCs in dialyzer_typesig is - optimized.

Maps are used instead of Dicts to - further optimize the evalutation.

-

- Own Id: OTP-10349

- - -

Since Erlang/OTP R14A, when support for parameterized - modules was added, module() has included - tuple(), but that part is removed; the type - module() is now the same as atom(), as - documented in the Reference Manual.

-

- Own Id: OTP-13244

- - -

The type specification syntax for Maps is improved: -

The association type KeyType := - ValueType denotes an association that must be - present.

The shorthand ... - stands for the association type any() => any(). -

An incompatible change is that - #{} stands for the empty map. The type - map() (a map of any size) can be written as - #{...}.

-

- *** POTENTIAL INCOMPATIBILITY ***

-

- Own Id: OTP-13542 Aux Id: PR-1014

- - -
- -
-
Dialyzer 2.9
Fixed Bugs and Malfunctions -- cgit v1.2.3 From e020f75c10410a6943cd055bfa072a2641eab7da Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Thu, 2 Jun 2016 10:55:26 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 66 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index d9af2cb4cd..6e335ac3c1 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,72 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 3.0 + +
Fixed Bugs and Malfunctions + + +

Fix a bug in the translation of forms to types.

+

+ Own Id: OTP-13520

+ + +

Correct mispelling in Dialyzer's acronym definition. +

+

+ Own Id: OTP-13544 Aux Id: PR-1007

+ + +

Dialyzer no longer crashes when there is an invalid + function call such as 42(7) in a module being + analyzed. The compiler will now warn for invalid function + calls such as X = 42, x(7). (ERL-138. Thanks to + Daniel Feltey for reporting this bug.)

+

+ Own Id: OTP-13552

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

The evaluation of SCCs in dialyzer_typesig is + optimized.

Maps are used instead of Dicts to + further optimize the evalutation.

+

+ Own Id: OTP-10349

+ + +

Since Erlang/OTP R14A, when support for parameterized + modules was added, module() has included + tuple(), but that part is removed; the type + module() is now the same as atom(), as + documented in the Reference Manual.

+

+ Own Id: OTP-13244

+ + +

The type specification syntax for Maps is improved: +

The association type KeyType := + ValueType denotes an association that must be + present.

The shorthand ... + stands for the association type any() => any(). +

An incompatible change is that + #{} stands for the empty map. The type + map() (a map of any size) can be written as + #{...}.

+

+ *** POTENTIAL INCOMPATIBILITY ***

+

+ Own Id: OTP-13542 Aux Id: PR-1014

+ + +
+ +
+
Dialyzer 2.9
Fixed Bugs and Malfunctions -- cgit v1.2.3 From c04cad3ba921deb086d19e2de2526af4854add75 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Thu, 2 Jun 2016 11:39:07 +0200 Subject: Revert "Prepare release" This reverts commit e020f75c10410a6943cd055bfa072a2641eab7da. --- lib/dialyzer/doc/src/notes.xml | 66 ------------------------------------------ 1 file changed, 66 deletions(-) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index 6e335ac3c1..d9af2cb4cd 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,72 +32,6 @@

This document describes the changes made to the Dialyzer application.

-
Dialyzer 3.0 - -
Fixed Bugs and Malfunctions - - -

Fix a bug in the translation of forms to types.

-

- Own Id: OTP-13520

- - -

Correct mispelling in Dialyzer's acronym definition. -

-

- Own Id: OTP-13544 Aux Id: PR-1007

- - -

Dialyzer no longer crashes when there is an invalid - function call such as 42(7) in a module being - analyzed. The compiler will now warn for invalid function - calls such as X = 42, x(7). (ERL-138. Thanks to - Daniel Feltey for reporting this bug.)

-

- Own Id: OTP-13552

- - -
- - -
Improvements and New Features - - -

The evaluation of SCCs in dialyzer_typesig is - optimized.

Maps are used instead of Dicts to - further optimize the evalutation.

-

- Own Id: OTP-10349

- - -

Since Erlang/OTP R14A, when support for parameterized - modules was added, module() has included - tuple(), but that part is removed; the type - module() is now the same as atom(), as - documented in the Reference Manual.

-

- Own Id: OTP-13244

- - -

The type specification syntax for Maps is improved: -

The association type KeyType := - ValueType denotes an association that must be - present.

The shorthand ... - stands for the association type any() => any(). -

An incompatible change is that - #{} stands for the empty map. The type - map() (a map of any size) can be written as - #{...}.

-

- *** POTENTIAL INCOMPATIBILITY ***

-

- Own Id: OTP-13542 Aux Id: PR-1014

- - -
- -
-
Dialyzer 2.9
Fixed Bugs and Malfunctions -- cgit v1.2.3 From 6e51c6d19612d03abc81b86bb70b8d7da678ce5d Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Tue, 21 Jun 2016 15:12:41 +0200 Subject: Prepare release --- lib/dialyzer/doc/src/notes.xml | 82 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 82 insertions(+) (limited to 'lib/dialyzer/doc/src') diff --git a/lib/dialyzer/doc/src/notes.xml b/lib/dialyzer/doc/src/notes.xml index d9af2cb4cd..a5a52fee61 100644 --- a/lib/dialyzer/doc/src/notes.xml +++ b/lib/dialyzer/doc/src/notes.xml @@ -32,6 +32,88 @@

This document describes the changes made to the Dialyzer application.

+
Dialyzer 3.0 + +
Fixed Bugs and Malfunctions + + +

Fix a bug in the translation of forms to types.

+

+ Own Id: OTP-13520

+ + +

Correct misspelling in Dialyzer's acronym definition. +

+

+ Own Id: OTP-13544 Aux Id: PR-1007

+ + +

Dialyzer no longer crashes when there is an invalid + function call such as 42(7) in a module being + analyzed. The compiler will now warn for invalid function + calls such as X = 42, x(7).

+

+ Own Id: OTP-13552 Aux Id: ERL-138

+ + +

Fix a bug that caused Dialyzer to go into an infinite + loop.

+

+ Own Id: OTP-13653 Aux Id: ERL-157

+ + +

Fix a bug in Dialyzer related to call-site + analysis.

+

+ Own Id: OTP-13655 Aux Id: PR-1092

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

The evaluation of SCCs in dialyzer_typesig is + optimized.

Maps are used instead of Dicts to + further optimize the evaluation.

+

+ Own Id: OTP-10349

+ + +

Since Erlang/OTP R14A, when support for parameterized + modules was added, module() has included + tuple(), but that part is removed; the type + module() is now the same as atom(), as + documented in the Reference Manual.

+

+ Own Id: OTP-13244

+ + +

The type specification syntax for Maps is improved: +

The association type KeyType := + ValueType denotes an association that must be + present.

The shorthand ... + stands for the association type any() => any(). +

An incompatible change is that + #{} stands for the empty map. The type + map() (a map of any size) can be written as + #{...}.

+

+ *** POTENTIAL INCOMPATIBILITY ***

+

+ Own Id: OTP-13542 Aux Id: PR-1014

+ + +

The translation of forms to types is improved.

+

+ Own Id: OTP-13547

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