otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2019-02-21	dialyzer: Fix maps as parameter of opaque types	Hans Bolinder
	The clause added for maps in commit 1a7c41be is corrected.
2016-11-22	dialyzer: Substitute 'opacity' for 'opaqueness'	Hans Bolinder
	Suggested by Kostis.
2015-08-19	dialyzer: Fix a bug concerning parameterized opaque types	Hans Bolinder
	The example is provided by James Fish in http://erlang.org/pipermail/erlang-questions/2014-December/082204.html. Note that warnings with text such as "the _ variable breaks opaqueness" are still possible.
2015-06-15	dialyzer: Modify warning for comparison of opaque types	Hans Bolinder
	Comparing two operands for (in)equality is allowed if both operands are of the same unknown opaque type. Since OTP 17, there is a warning if the types of the operands have nothing in common (this cannot happen before OTP 17). However, the warning says there is a test between opaque types, which is wrong. The warning now states that the comparison cannot evaluate to 'true', which is more consistent.
2015-06-15	dialyzer: Modify the handling of parametrized opaque types	Hans Bolinder
	In OTP 17 it is possible to mix types such as dict:dict() and dict:dict(_, _) outside of the dict module (and similarly for some other opaque types in STDLIB), but the results are unfortunately possibly invalid warnings in users' code. In OTP 18 parameterized opaque types with the same name but with different number of parameters are no longer compatible when seen from outside of the module where the types are declared. The types in STDLIB have been updated accordingly; for instance -opaque dict() :: dict(_, _). has been replaced by -type dict() :: dict(_, _).
2014-02-23	Deprecate pre-defined built-in types	Hans Bolinder
	The types array(), dict(), digraph(), gb_set(), gb_tree(), queue(), set(), and tid() have been deprecated. They will be removed in OTP 18.0. Instead the types array:array(), dict:dict(), digraph:graph(), gb_set:set(), gb_tree:tree(), queue:queue(), sets:set(), and ets:tid() can be used. (Note: it has always been necessary to use ets:tid().) It is allowed in OTP 17.0 to locally re-define the types array(), dict(), 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.