Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-02-14 | Fixed typos in lib/dialyzer | Andrew Dryga | |
2016-11-23 | Correct copyright and license on dialyzer files | Richard Carlsson | |
2016-11-22 | dialyzer: Substitute 'opacity' for 'opaqueness' | Hans Bolinder | |
Suggested by Kostis. | |||
2016-10-06 | dialyzer: Fix opaque bugs | Hans Bolinder | |
t_from_form() sometimes returned a more general type than it should have done due to a bug in from_form_loop(): it stopped when the limit was exceeded, which could mean a collapsed type. Returning a type with smaller depth should fix this. is_specialization() now handles opaque types before unions, which should fix another problem. The bugs reported by Kostis. |