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