aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/doc/src
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/doc/src')
-rw-r--r--lib/dialyzer/doc/src/notes.xml124
1 files changed, 124 insertions, 0 deletions
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 @@
<p>This document describes the changes made to the Dialyzer
application.</p>
+<section><title>Dialyzer 2.8</title>
+
+ <section><title>Fixed Bugs and Malfunctions</title>
+ <list>
+ <item>
+ <p> 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. </p>
+ <p>
+ Own Id: OTP-12350</p>
+ </item>
+ <item>
+ <p> Fix a bug that could cause bogus warnings for opaque
+ types. </p> <p>In Erlang/OTP 18 two parameterized types
+ declared in the same module always result in a
+ contradiction (<c>none()</c>) when combined outside of
+ the module where they are declared, unless they have the
+ same number of parameters. </p> <p> The behaviour is
+ different from Erlang/OTP 17 where, for instance,
+ <c>dict:dict()</c> and <c>dict:dict(_, _)</c>, which are
+ both opaque, can be combined outside of the <c>dict</c>
+ module. </p> <p> In Erlang/OTP 18, <c>dict:dict()</c> and
+ <c>dict:dict(_, _)</c> can still be combined outside of
+ the <c>dict</c> module. That has been made possible by
+ not declaring <c>dict:dict()</c> as opaque. </p>
+ <p>
+ Own Id: OTP-12493</p>
+ </item>
+ <item>
+ <p> 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.) </p>
+ <p>
+ Own Id: OTP-12637</p>
+ </item>
+ <item>
+ <p>
+ An argument of '*'/2 is not constraind if the other
+ operand can be zero.</p>
+ <p>
+ Own Id: OTP-12725</p>
+ </item>
+ <item>
+ <p> Mention the option <c>check_plt</c> among the
+ <c>dialyzer:gui()</c> options. (Thanks to James Fish.)
+ </p>
+ <p>
+ Own Id: OTP-12750</p>
+ </item>
+ <item>
+ <p>Fix a bug which could cause an infinite loop in
+ Dialyzer.</p>
+ <p>
+ Own Id: OTP-12826</p>
+ </item>
+ </list>
+ </section>
+
+
+ <section><title>Improvements and New Features</title>
+ <list>
+ <item>
+ <p> The <c>-dialyzer()</c> 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. </p>
+ <p>
+ Own Id: OTP-10280</p>
+ </item>
+ <item>
+ <p> The pre-defined types <c>array()</c>, <c>dict()</c>,
+ <c>digraph()</c>, <c>gb_set()</c>, <c>gb_tree()</c>,
+ <c>queue()</c>, <c>set()</c>, and <c>tid()</c> have been
+ removed. </p>
+ <p>
+ Own Id: OTP-11445 Aux Id: OTP-10342, OTP-9352 </p>
+ </item>
+ <item>
+ <p> 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 <c>product/_</c>,
+ <c>union/_</c>, and <c>range/2</c> as well as
+ <c>tuple/N</c> (N > 0), <c>map/N</c> (N > 0),
+ <c>atom/1</c>, <c>integer/1</c>, <c>binary/2</c>,
+ <c>record/_,</c> and <c>'fun'/_</c>. A consequence is
+ that, for example, it is no longer possible to refer to a
+ record type with <c>record(r)</c>; instead the usual
+ record notation, <c>#r{}</c>, is to be used. </p>
+ <p>
+ *** POTENTIAL INCOMPATIBILITY ***</p>
+ <p>
+ Own Id: OTP-11851</p>
+ </item>
+ <item>
+ <p> 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. </p>
+ <p>
+ Own Id: OTP-11861</p>
+ </item>
+ <item>
+ <p>Add two options to the Dialyzer:
+ <c>no_missing_calls</c> suppresses warnings about calls
+ to missing or unexported functions; <c>unknown</c> lets
+ warnings about unknown functions or types affect the exit
+ status. See also dialyzer(3). </p>
+ <p>
+ Own Id: OTP-12682</p>
+ </item>
+ <item>
+ <p>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 <c>--no_native_cache</c>.</p>
+ <p>
+ Own Id: OTP-12779</p>
+ </item>
+ </list>
+ </section>
+
+</section>
+
<section><title>Dialyzer 2.7.4</title>
<section><title>Fixed Bugs and Malfunctions</title>