otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2016-06-09	Remove support for '...' in Maps types	Hans Bolinder
	It is possible that '...' is added later (OTP 20.0), but for now we are not sure of all details.
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