| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2016-04-28 | dialyzer_typesig: Add map support | Magnus Lång | |
 |
index : otp.git | |
| Mirror of Erlang/OTP repository. | OTP Team |
| aboutsummaryrefslogtreecommitdiffstats |