otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2016-04-28	dialyzer_contracts: Consider #{} a violation	Magnus Lång
	This is analogous to the case of nil. Since #{} is a base-case of almost all map types, contract and success typing sharing #{} does not mean much, and is often sign of a violation.
2016-04-28	dialyzer: Unfold cerl patterns containing maps	Magnus Lång
	Dialyzer relies heavily on the assumption that the type of a literal that is used as a pattern is the type of any value that can match that pattern. For maps, that is not true, and it was causing bad analysis results. A new help function dialyzer_utils:refold_pattern/1 identifies maps in literal patterns, and unfolds and labels them, allowing them to be properly analysed.
2016-04-28	dialyzer_dataflow: Add map support	Magnus Lång

2016-04-28	dialyzer_typesig: Add map support	Magnus Lång