otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2019-04-29	dialyzer: Fix dialyzer_dataflow:format_args_1()	Hans Bolinder

2017-09-12	dialyzer: Adjust a test case	Hans Bolinder
	Huge maps are truncated differently by the pretty printer. The reason is that erl_types:is_singleton_type/1 no longer recognizes complex singleton types, which results in a less precise representation of map types.
2017-01-25	Update test cases for erlang:hash/2 removal	Björn-Egil Dahlberg

2016-04-28	dialyzer: Improve map pattern typesetting	Magnus Lång

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