Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |