Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-11-23 | Correct copyright and license on dialyzer files | Richard Carlsson | |
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. |