Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-02-21 | dialyzer: Correct test cases after removal of erlang:hash/2 | Hans Bolinder | |
2014-06-17 | [dialyzer] Fix handling of literal records | Hans Bolinder | |
This ticket is about records in Erlang code, and when to check the fields against the (optional) types given when defining records. Dialyzer operates on the Erlang Core format, where there are no trace of records. The fix implemented is a Real Hack: Given the new option 'dialyzer' erl_expand_records marks the line number of records in a way that is undone by v3_core, which in turn inserts annotations that can be recognized by Dialyzer. | |||
2012-02-22 | Zero-arity unused functions Dialyzer patch | Stavros Aronis | |
Dialyzer was not reporting unused functions with 0 arity. This was not a real issue, until we found out that there could be cases where this could lead to false warnings. This was the case in "no_local_return.erl". | |||
2011-05-04 | Update options1/compiler results | Stavros Aronis | |
2011-05-04 | Rename suite data directories | Stavros Aronis | |