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/notes.xml') 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