otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2015-12-15	dialyzer: Print constraints using the '::' syntax	Hans Bolinder

2015-03-10	[dialyzer] Fix the conversion of forms to types	Hans Bolinder
	In particular fix handling of records.
2014-03-21	dialyzer: generalize guard constraints in a new way	Hans Bolinder
	Guard constraints used to be limited to a certain depth, which handled mutually depending constraints safely, but also sometimes introduced unnecessary generalizations. This patch puts no explicit limit upon guard constraints (other than those that already exist in erl_types), but breaks cycles by replacing variables with the any() type. In some cases the old method resulted in more warnings, but since the limit was quite arbitrary and mutually depending guard constraints are (very) rare, the new method should been seen as an improvement since it handles cases that used to make Dialyzer loop or miss warnings.
2014-02-22	Introduce parameterized opaque types	Hans Bolinder
	Handle immediate opaque types as aliases: A declaration of dict/0 -opaque dict() :: dict(_, _). -opaque dict(Key, Value) :: ... is handled as an alias, that is, when using dict() it is immediately replaced by dict(_, _). This is a means to avoid having to handle equivalent opaque types later. To be changed if it doesn't work well.
2013-02-13	Make the file:filename() type more restrictive	Björn Gustavsson
	The recommended type for filenames is a list of characters (which may be Unicode characters greater than 255). Change the file:filename() to reflect that. For the filename module we still need a type that can be either a string or a binary, so we need to introduce the type file:filename_all().
2012-09-26	Fix handling of tuple set remote types appearing in tuple sets	Stavros Aronis
	Originally reported by Joseph Wayne Norton, simplified testcase provided by Hans Bolinder.
2012-04-24	Correct handling of type names in contracts	Stavros Aronis
	Variables in contracts can either be true type variables or simply names for types thet are defined in the 'when' clauses. Consider the following example: -spec foo(X, Options) -> {ok, X} \| error when Options :: [{atom(), boolean()}]. Here X is a true variable whereas Options is a name for a type that is defined in the when clause. 'when' clauses may further use names on the right side. These were not treated properly by Dialyzer and could be generalized to the term() type. This patch fixes this issue. A further issue is the treatment of true type variables, but this is left for another patch.