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 @@
- 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 @@
@@ -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