Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-05-07 | dialyzer: Add test cases with indentation | Hans Bolinder | |
A smallish selection of already existing tests, run with the indentation option. | |||
2015-04-27 | dialyzer: Add new option 'unknown' | Hans Bolinder | |
Replace the undocumented option 'no_unknown' with the documented option 'unknown'. | |||
2014-08-20 | dialyzer: fix a -Wunderspecs bug | Hans Bolinder | |
Sometimes bogus warnings were generated for parametrized types. Thanks to Krzesimir Sarnecki for pointing the bug out. Also corrected warnings where the structure of opaque types were exposed (thanks to Kostis for pointing the bug out). | |||
2014-03-20 | Introduce a new warning option, 'no_unknown' | Hans Bolinder | |
Not (yet) documented. | |||
2011-11-30 | No warnings for underspecs with remote types | Stavros Aronis | |